HUCTLp / com.github.sybila.huctl / Formula / And / right

right

val right: Formula

Overrides Binary.right

The child of this element which is the root of the right subtree.