Module Jasmin.Strings

type __ = Obj.t
val ascii_eqb : char -> char -> bool
val string_tag : string -> BinNums.positive
type box_string_EmptyString =
  1. | Box_string_EmptyString
type box_string_String = {
  1. coq_Box_string_String_0 : char;
  2. coq_Box_string_String_1 : string;
}
type string_fields_t = __
val string_fields : string -> string_fields_t
val string_eqb_fields : (string -> string -> bool) -> BinNums.positive -> string_fields_t -> string_fields_t -> bool
val string_eqb : string -> string -> bool
val string_eqb_OK : string -> string -> Bool.reflect
val coq_HB_unnamed_factory_9 : string Eqtype.Coq_hasDecEq.axioms_
val coq_String_string__canonical__eqtype_Equality : Eqtype.Equality.coq_type