sig val typecode_of_expr : Flx_ast.expr_t -> Flx_ast.typecode_t val typeof_list : Flx_ast.typecode_t list -> Flx_ast.typecode_t val paramtype : (string * Flx_ast.typecode_t) list -> Flx_ast.typecode_t end