HUCTLp
/
com.github.sybila.huctl
/
Formula
/
Until
/
path
path
val
path
:
Formula
The formula which needs to be valid along a path until reach is found.