Module Flx_typing2


module Flx_typing2: sig .. end

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