Module Tezos_protocol_environment_011_PtHangz2.Equality_witnessSource

Sourcetype (!_, !_) eq =
  1. | Refl : ('a, 'a) eq
Sourcetype 'a t
Sourceval make : unit -> 'a t
Sourceval eq : 'a t -> 'b t -> ('a, 'b) eq option
Sourceval hash : 'a t -> int