(node: p.TSESTree.Parameter)
| 566 | } |
| 567 | |
| 568 | function getParam(node: p.TSESTree.Parameter): Param { |
| 569 | if (node.type !== "Identifier") error("parameter must be a variable", node); |
| 570 | if (!node.typeAnnotation) error("parameter type is required", node); |
| 571 | const name = node.name; |
| 572 | const type = convertType(node.typeAnnotation.typeAnnotation); |
| 573 | return { name, type }; |
| 574 | } |
| 575 | |
| 576 | function getRecFunc(node: p.TSESTree.FunctionDeclaration, ctx: Context, restFunc: (() => Term) | null): Term { |
| 577 | if (!node.id) error("function name is required", node); |
no test coverage detected