Function parse

article/utils.ts:499–502

(code: string)

}

export function parse(code: string): Term {
  const node = p.parse(code, { allowInvalidAST: false, loc: true });
  return convertProgram(node.body);
}

export function parseArith(code: string) {
  return subsetSystem(