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