Module type Hptmap.Tagged_type


module type Tagged_type = sig .. end

include Datatype.S
val tag : t -> int