of

fun <X> of(defaultValue: (Term) -> X): DefaultTermVisitor<X>

Creates a DefaultTermVisitor whose TermVisitor.defaultValue is computed by defaultValue.