cadenza / cadenza.semantics / Term / tvar

tvar

fun tvar(name: String, loc: Loc? = null): Term