Module type Ptmap.Tagged_type


module type Tagged_type = sig .. end

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