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