module Flx_unravel: sig .. end
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
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