flag

fun <T : NotableFlag> flag(notableFlag: T, f: T.() -> Term): Pair<String, Term>

Pairs notableFlag's NotableFlag.name with the Term computed by f, applied to notableFlag itself.