mzn_name property

@Array.multi<NativeType>([80]) Array<Char> mzn_name

Implementation

@ffi.Array.multi([80])
external ffi.Array<ffi.Char> mzn_name;