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