Prop.Option
module X : sig ... end
type property = X.t option
val bottom : property
val equal : property -> property -> bool
val is_maximal : property -> bool