Module Flx_foldvars


module Flx_foldvars: sig .. end

val fold_vars : Flx_mtypes2.sym_state_t ->
Flx_call.usage_table_t * Flx_child.child_map_t *
Flx_types.fully_bound_symbol_table_t ->
int ->
Flx_types.bparameter_t list -> Flx_types.bexe_t list -> Flx_types.bexe_t list
val add_use : Flx_call.usage_table_t -> int -> int -> Flx_ast.range_srcref -> unit