Module type Fix.MINIMAL_SEMI_LATTICE

type property
val leq_join : property -> property -> property