{"version":3,"file":"nat.d.ts","sourceRoot":"","sources":["../../src/verified/nat.ts"],"names":[],"mappings":"AAEA,eAAO,MAAM,gBAAgB,QAA0B,CAAC"}