HUCTLp
/
com.github.sybila.huctl
/
Formula
/
ForAll
/
target
target
val
target
:
Formula
The target formula which is subject to substitution.