(code: string)
| 1056 | } |
| 1057 | |
| 1058 | export function parse(code: string): Term { |
| 1059 | const node = p.parse(code, { allowInvalidAST: false, loc: true }); |
| 1060 | return convertProgram(node.body); |
| 1061 | } |
| 1062 | |
| 1063 | export function parseArith(code: string): TermForArith { |
| 1064 | return subsetSystem( |
no test coverage detected