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