module Flx_tpat: sig .. end
sig
end
val type_of_tpattern : Flx_mtypes2.sym_state_t -> Flx_ast.tpattern_t -> Flx_ast.typecode_t * (int * string) list * int list * (int * string) list * (int * Flx_ast.typecode_t) list
Flx_mtypes2.sym_state_t -> Flx_ast.tpattern_t -> Flx_ast.typecode_t * (int * string) list * int list * (int * string) list * (int * Flx_ast.typecode_t) list