sig
  val heavy_inlining :
    Flx_mtypes2.sym_state_t ->
    (Flx_ast.bid_t, Flx_ast.bid_t list) Hashtbl.t *
    Flx_types.fully_bound_symbol_table_t -> unit
end