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