Companion

Functions

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

Creates an ExhaustiveTermVisitor whose TermVisitor.defaultValue is computed by defaultValue.