sig
  val find_split_vs :
    Flx_mtypes2.sym_state_t -> int -> Flx_ast.ivs_list_t * Flx_ast.ivs_list_t
  val find_vs : Flx_mtypes2.sym_state_t -> int -> Flx_ast.ivs_list_t
  val adjust_ts :
    Flx_mtypes2.sym_state_t ->
    Flx_ast.range_srcref ->
    int -> Flx_types.btypecode_t list -> Flx_types.btypecode_t list
  val make_params :
    Flx_mtypes2.sym_state_t ->
    Flx_ast.range_srcref ->
    int ->
    Flx_types.btypecode_t list -> (string * Flx_types.btypecode_t) list
  val make_varmap :
    Flx_mtypes2.sym_state_t ->
    Flx_ast.range_srcref ->
    int ->
    Flx_types.btypecode_t list -> (int, Flx_types.btypecode_t) Hashtbl.t
end