module type Tagged_type = sig .. end
sig
end
type t
val tag : t -> int
t -> int
val equal : t -> t -> bool
t -> t -> bool
val pretty : Format.formatter -> t -> unit
Format.formatter -> t -> unit
module Datatype: Project.Datatype.S with type t = t
Project.Datatype.S
with type t = t