sig
  val gen_types :
    Flx_mtypes2.sym_state_t ->
    Flx_types.fully_bound_symbol_table_t ->
    (int * Flx_types.btypecode_t) list -> string
  val gen_type_names :
    Flx_mtypes2.sym_state_t ->
    Flx_types.fully_bound_symbol_table_t ->
    (int * Flx_types.btypecode_t) list -> string
end