P (fix.Fix.DataFlow.Run.P)

type property

val leq_join : property -> property -> property