Module Flx_unravel


module Flx_unravel: sig .. end

val unravel : Flx_mtypes2.sym_state_t ->
Flx_types.fully_bound_symbol_table_t ->
Flx_types.tbexpr_t -> (Flx_types.tbexpr_t * string) list * Flx_types.tbexpr_t