Module type Project.Datatype.INPUT


module type INPUT = sig .. end

type t 
The datatype to register.
val rehash : t -> t
How to rehashcons the datatype.
val descr : Unmarshal.t
A better way to rehashcons the datatype.
Since Beryllium-20090901
val copy : t -> t
How to deeply copy the datatype. The following invariant must hold: forall (p:t), copy s != s.
val name : string
Name of the datatype. Have to be different of others registered datatypes.