HUCTLp
/
com.github.sybila.huctl.dsl
/
kotlin.String
/
toDecreasing
toDecreasing
fun
String
.
toDecreasing
(
)
:
Proposition
Convert variable name to decreasing direction proposition.