HUCTLp / com.github.sybila.huctl / Formula / ForAll / copy

copy

fun copy(left: Formula, right: Formula): ForAll

Create a copy of the original object but optionally replace the left or right child element.