{"version":3,"file":"proposition.d.ts","sourceRoot":"","sources":["../../../src/function/proposition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAW,MAAM,WAAW,CAAC;AAE3C,oBAAY,WAAW,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC;AAEzC,wBAAgB,MAAM,CAAC,WAAW,EAAE,WAAW,GAAG,OAAO,CAExD;AAED,wBAAgB,OAAO,CAAC,WAAW,EAAE,WAAW,GAAG,OAAO,CAEzD;AAKD,wBAAgB,OAAO,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO,CAEnD"}