(code: string)
| 1183 | } |
| 1184 | |
| 1185 | export function parseSub(code: string): TermForSub { |
| 1186 | return subsetSystem( |
| 1187 | parse(code), |
| 1188 | ["Boolean", "Number", "Func", "Object"], |
| 1189 | ["true", "false", "number", "add", "var", "func", "call", "seq", "const", "objectNew", "objectGet"], |
| 1190 | ); |
| 1191 | } |
| 1192 | |
| 1193 | export function parseRec(code: string): TermForRec { |
| 1194 | return subsetSystem( |
no test coverage detected