ForIntSegment.G
type variable = int
type property = P.property
val foreach_root : (variable -> property -> unit) -> unit
val foreach_successor : variable -> property -> (variable -> property -> unit) -> unit