HUCTLp
/
com.github.sybila.huctl
/
Formula
/
ForAll
/
name
name
val
name
:
String
The name that should be substituted in the
target
formula.