theory/it.unibo.tuprolog.collections/RetrieveResult/Success/Success

Success

fun <C : ClauseCollection> Success(collection: C, clauses: List<<ERROR CLASS>>)
Content copied to clipboard