Module type Structure.Key

module type Key = sig .. end

Keys identifying datatypes.


type 'a k 
val create_key : string -> 'a k
val eq_type : 'a k -> 'b k -> ('a, 'b) Structure.eq option
val print : 'a k Pretty_utils.formatter
val compare : 'a k -> 'b k -> int
val equal : 'a k -> 'b k -> bool
val hash : 'a k -> int
val tag : 'a k -> int