UNPKG

typir

Version:

General purpose type checking library

1 lines 949 B
{"version":3,"file":"multiplicity-type.d.ts","sourceRoot":"","sources":["../../../src/kinds/multiplicity/multiplicity-type.ts"],"names":[],"mappings":"AAAA;;;;+EAI+E;AAE/E,OAAO,EAAU,IAAI,EAAE,MAAM,0BAA0B,CAAC;AAGxD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAEhE,OAAO,EAAsB,gBAAgB,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AAEvG,qBAAa,gBAAiB,SAAQ,IAAI;IACtC,SAAkB,IAAI,EAAE,gBAAgB,CAAC,cAAc,CAAC,CAAC;IACzD,QAAQ,CAAC,eAAe,EAAE,IAAI,CAAC;IAC/B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;gBAEhB,IAAI,EAAE,gBAAgB,CAAC,cAAc,CAAC,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,uBAAuB,CAAC,cAAc,CAAC;IASnH,OAAO,IAAI,MAAM;IAIjB,qBAAqB,IAAI,MAAM;IAI/B,2BAA2B,CAAC,SAAS,EAAE,IAAI,GAAG,YAAY,EAAE;IAsBrE,SAAS,CAAC,sBAAsB,CAAC,OAAO,EAAE,gBAAgB,EAAE,SAAS,EAAE,gBAAgB,GAAG,YAAY,EAAE;IAaxG,kBAAkB,IAAI,IAAI;IAI1B,aAAa,IAAI,MAAM;IAIvB,aAAa,IAAI,MAAM;CAG1B;AAED,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI,IAAI,gBAAgB,CAE1E"}