Function parsePoly

book/tiny-ts-parser.ts:1239–1245

(code: string)

}

export function parsePoly(code: string): TermForPoly {
  return subsetSystem(
    parse(code),
    ["Boolean", "Number", "Func", "TypeAbs", "TypeVar"],
    ["true", "false", "if", "number", "add", "var", "func", "call", "seq", "const", "typeAbs", "typeApp"],
  );
}

export function parseSelf(code: string): TermForSelf {
  return subsetSystem(