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

At

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

Create a hybrid At formula valid at the given name.