Function getParam

article/utils.ts:221–227

(node: p.TSESTree.Parameter)

}

function getParam(node: p.TSESTree.Parameter): Param {
  if (node.type !== "Identifier") error("parameter must be a variable", node);
  if (!node.typeAnnotation) error("parameter type is required", node);
  const name = node.name;
  const type = convertType(node.typeAnnotation.typeAnnotation);
  return { name, type };
}

function getRecFunc(node: p.TSESTree.FunctionDeclaration, ctx: Context, restFunc: (() => Term) | null): Term {
  if (!node.id) error("function name is required", node);