sig
val bbind : Flx_mtypes2.sym_state_t -> Flx_types.fully_bound_symbol_table_t
val bind_ifaces :
Flx_mtypes2.sym_state_t ->
(Flx_ast.range_srcref * Flx_types.iface_t * int option) list ->
Flx_types.biface_t list
val cal_children :
Flx_mtypes2.sym_state_t ->
Flx_types.fully_bound_symbol_table_t ->
(Flx_ast.bid_t, Flx_ast.bid_t list) Hashtbl.t
end