sig
  val cpp_name : Flx_types.fully_bound_symbol_table_t -> int -> string
  val cpp_instance_name :
    Flx_mtypes2.sym_state_t ->
    Flx_types.fully_bound_symbol_table_t ->
    int -> Flx_types.btypecode_t list -> string
  val cpp_type_classname :
    Flx_mtypes2.sym_state_t -> Flx_types.btypecode_t -> string
  val cpp_typename :
    Flx_mtypes2.sym_state_t -> Flx_types.btypecode_t -> string
  val cpp_ltypename :
    Flx_mtypes2.sym_state_t -> Flx_types.btypecode_t -> string
  val cid_of_flxid : string -> string
end