Fix.SEMI_LATTICE
type property
val leq : property -> property -> bool
val join : property -> property -> property