module Flx_reduce:sig
..end
val remove_useless_reductions : Flx_mtypes2.sym_state_t ->
Flx_types.fully_bound_symbol_table_t ->
Flx_types.reduction_t list -> Flx_types.reduction_t list
val reduce_exes : Flx_mtypes2.sym_state_t ->
Flx_types.reduction_t list -> Flx_types.bexe_t list -> Flx_types.bexe_t list