Previous  Up  

Module type Fix.PROPERTY

module type PROPERTY = sig .. end
type property 
val bottom : property
val equal : property -> property -> bool
val is_maximal : property -> bool