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