module Deref: Data with type t = deref
Data
with type t = deref
type t
val equal : t -> t -> bool
t -> t -> bool
val compare : t -> t -> int
t -> t -> int
val pretty : t Pretty_utils.formatter
t Pretty_utils.formatter