You may find it more convenient to embed minlist(Vars) in a constraint expression.
ConsistencyModule is the optional module specification to give the consistency level for the propagation for this constraint: gfd_bc for bounds consistency, and gfd_gac for domain (generalised arc) consistency.
This constraint is known as minimum in the global constraint catalog, and is implemented using Gecode's min() constraint.