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 :
    (Flx_ast.param_kind_t * string * Flx_ast.typecode_t) list ->
    Flx_ast.typecode_t
end