HUCTLp / com.github.sybila.huctl.dsl / Bind

Bind

fun Bind(name: String, inner: Formula): Bind

Create a hybrid Bind formula, binding the given name.