UId (hax-engine.Hax_engine.Attr

module T : sig ... end

module M : sig ... end

include module type of struct include M end

include sig ... end

type comparator_witness = Base__Comparator.Make(T).comparator_witness

val comparator : (T.t, comparator_witness) Base__Comparator.comparator

include module type of struct include T end

type t = T.t =

val pp : 
  Ppx_deriving_runtime.Format.formatter ->
  t ->
  Ppx_deriving_runtime.unit

val show : t -> Ppx_deriving_runtime.string

val equal : t -> t -> Ppx_deriving_runtime.bool

val t_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> t

val yojson_of_t : t -> Ppx_yojson_conv_lib.Yojson.Safe.t

val compare : t -> t -> Prelude.int

val t_of_sexp : Sexplib0.Sexp.t -> t

val sexp_of_t : t -> Sexplib0.Sexp.t

module Map : sig ... end

val of_raw : Types.ha_uid -> t