module Flx_inst: sig .. end
sig
end
val instantiate : Flx_mtypes2.sym_state_t -> Flx_types.fully_bound_symbol_table_t -> Flx_ast.bid_t -> Flx_types.biface_t list -> unit
Flx_mtypes2.sym_state_t -> Flx_types.fully_bound_symbol_table_t -> Flx_ast.bid_t -> Flx_types.biface_t list -> unit