Declare the annotated variable as being functionally defined. This annotation is introduced into FlatZinc code by the compiler.
Declare that the annotated expression is used to map an expression back from FlatZinc to MiniZinc.
Declare that the annotated variable should be printed by the solver. This annotation is introduced into FlatZinc code by the compiler.
Declare function as total, i.e. it does not put any constraints on its arguments.
Declare a variable as being introduced by the compiler.
Declare variable: c as being functionally defined by the annotated constraint. This annotation is introduced into FlatZinc code by the compiler.
Document the function or variable declaration item with the string s.
Declare that the annotated array should be printed by the solver with the given index sets a. This annotation is introduced into FlatZinc code by the compiler.