sig
  val class_name : ?jvm:bool -> JBasics.class_name -> string
  val basic_type : ?jvm:bool -> JBasics.java_basic_type -> string
  val object_value_signature : ?jvm:bool -> JBasics.object_type -> string
  val value_signature : ?jvm:bool -> JBasics.value_type -> string
  val type2shortstring : JBasics.value_type -> string
  val rettype2shortstring : ?jvm:bool -> JBasics.value_type option -> string
  val arraytype2shortstring : JBasics.jvm_array_type -> string
  val method_signature :
    ?jvm:bool -> string -> JBasics.method_descriptor -> string
  val signature : string -> JBasics.descriptor -> string
  val jvm_basic_type :
    [< `Double | `Float | `Int | `Int2Bool | `Long ] -> char
  val jvm_array_type : JBasics.jvm_array_type -> char
  val java_basic_type : JBasics.java_basic_type -> char
  val method_handle_kind : JBasicsLow.method_handle_kind -> string
  val dump_constant : 'a JLib.IO.output -> JBasics.constant -> unit
  val dump_bootstrap_argument :
    'a JLib.IO.output -> JBasics.bootstrap_argument -> unit
  val dump_bootstrap_method :
    'a JLib.IO.output -> JBasics.bootstrap_method -> unit
  val dump_constantpool : 'a JLib.IO.output -> JBasics.constant array -> unit
  val dump_verification_type : JBasics.verification_type -> string
  val dump_stackmap : 'a JLib.IO.output -> JBasics.stackmap_frame -> unit
  val dump_exc : 'a JLib.IO.output -> 'b -> JCode.exception_handler -> unit
  val constant_attribute : JClass.constant_attribute -> string
end