sig
  val gen_functions :
    Flx_mtypes2.sym_state_t ->
    (Flx_ast.bid_t, Flx_ast.bid_t list) Hashtbl.t *
    Flx_types.fully_bound_symbol_table_t -> string
  val gen_execute_methods :
    string ->
    Flx_mtypes2.sym_state_t ->
    (Flx_ast.bid_t, Flx_ast.bid_t list) Hashtbl.t *
    Flx_types.fully_bound_symbol_table_t ->
    Flx_label.label_map_t * Flx_label.label_usage_t ->
    int Pervasives.ref -> Pervasives.out_channel -> unit
  val find_members :
    Flx_mtypes2.sym_state_t ->
    (Flx_ast.bid_t, Flx_ast.bid_t list) Hashtbl.t *
    Flx_types.fully_bound_symbol_table_t ->
    int -> Flx_types.btypecode_t list -> string
  val gen_biface_headers :
    Flx_mtypes2.sym_state_t ->
    Flx_types.fully_bound_symbol_table_t -> Flx_types.biface_t list -> string
  val gen_biface_bodies :
    Flx_mtypes2.sym_state_t ->
    Flx_types.fully_bound_symbol_table_t -> Flx_types.biface_t list -> string
  val format_vars :
    Flx_mtypes2.sym_state_t ->
    Flx_types.fully_bound_symbol_table_t ->
    Flx_ast.bid_t list -> Flx_types.btypecode_t list -> string
end