Module Flx_generic


module Flx_generic: sig .. end

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