{"version":3,"file":"source.pddl.happenings.d.ts","sourceRoot":"","sources":["source.pddl.happenings.js"],"names":[],"mappings":""}