{"version":3,"file":"mustBeNonnegative.d.ts","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeNonnegative.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEpD,QAAA,MAAM,UAAU,EAAE,UAmEjB,CAAC;AAEF,eAAe,UAAU,CAAC"}