sig
  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
end