MCPcopy Create free account
hub / github.com/LambdaNote/support-ts-tapl / parse

Function parse

book/tiny-ts-parser.ts:1058–1061  ·  view source on GitHub ↗
(code: string)

Source from the content-addressed store, hash-verified

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

Callers 11

parseArithFunction · 0.70
parseBasicFunction · 0.70
parseBasic2Function · 0.70
parseObjFunction · 0.70
parseTaggedUnionFunction · 0.70
parseRecFuncFunction · 0.70
parseSubFunction · 0.70
parseRecFunction · 0.70
parseRec2Function · 0.70
parsePolyFunction · 0.70
parseSelfFunction · 0.70

Calls 1

convertProgramFunction · 0.70

Tested by

no test coverage detected