{"version":3,"file":"mzn.d.ts","sourceRoot":"","sources":["mzn.ts"],"names":[],"mappings":""}