Parameter ForIntSegment.P

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