HUCTLp
/
com.github.sybila.huctl
/
DirFormula
/
Proposition
/
direction
direction
val
direction
:
Direction
The direction in which the path should be moving (up/down).