HUCTLp
/
com.github.sybila.huctl
/
DirFormula
/
Proposition
/
name
name
val
name
:
String
The name of the variable in which the direction should hold.