(** Elide unused entries
 *
 * Name binding pass 2 **)

val instantiate:
  Flx_mtypes2.sym_state_t ->
  Flx_bsym_table.t ->
  bool -> (* instantiate parameters? **)
  Flx_types.bid_t ->
  Flx_btype.biface_t list ->
  unit