dsl-theory
/
it.unibo.tuprolog.dsl.theory
/
PrologScopeWithTheories
/
Companion
/
empty
empty
fun
empty
():
PrologScopeWithTheories
Content copied to clipboard