theory/it.unibo.tuprolog.collections/ClauseCollection/iterator

iterator

abstract operator override fun iterator(): Iterator<<ERROR CLASS>>
Content copied to clipboard