core/it.unibo.tuprolog.core.visitors/ExhaustiveTermVisitor/Companion/of

of

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

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

Generated by Dokka
© 2026 Copyright