defaultValue

abstract fun defaultValue(term: Term): T

The value produced for any Term whose specific type has no dedicated, overridden visitX method.