utils/it.unibo.tuprolog.utils/Optional/None/filter

filter

open override fun filter(predicate: (Nothing) -> Boolean): Optional.None

Returns None, without invoking predicate (there is no value to test).

Generated by Dokka
© 2026 Copyright