(code: string)
| 1163 | } |
| 1164 | |
| 1165 | export function parseRecFunc(code: string): TermForRecFunc { |
| 1166 | return subsetSystem( |
| 1167 | parse(code), |
| 1168 | ["Boolean", "Number", "Func"], |
| 1169 | [ |
| 1170 | "true", |
| 1171 | "false", |
| 1172 | "if", |
| 1173 | "number", |
| 1174 | "add", |
| 1175 | "var", |
| 1176 | "func", |
| 1177 | "call", |
| 1178 | "seq", |
| 1179 | "const", |
| 1180 | "recFunc", |
| 1181 | ], |
| 1182 | ); |
| 1183 | } |
| 1184 | |
| 1185 | export function parseSub(code: string): TermForSub { |
| 1186 | return subsetSystem( |
no test coverage detected