MinizincData.check_dzn

You're seeing just the function check_dzn, go back to MinizincData module for more information.
Link to this function

check_dzn(model_info)

Specs

check_dzn(map()) :: :ok | {:error, any()}

Check dzn against the model info. Currently only checking for unassigned pars.