dsl-theory/it.unibo.tuprolog.dsl.theory/PrologScopeWithTheories/Companion/empty

empty

fun empty(): PrologScopeWithTheories
Content copied to clipboard