unevaluable

open override fun unevaluable(struct: Struct): Term

Called when struct matches no LogicFunction in loadedFunctions; by default raises a TypeError (TypeError.Expected.EVALUABLE). Overridden by ExpressionReducer to leave non-evaluable sub-terms untouched instead of failing.