module type Value = sig .. end
sig
end
type t
val name : string
string
val pretty : Format.formatter -> t -> unit
Format.formatter -> t -> unit
val compare : t -> t -> int
t -> t -> int
val hash : t -> int
t -> int
module Datatype: Project.Datatype.S with type t = t
Project.Datatype.S
with type t = t