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

Companion

object Companion
Content copied to clipboard

Functions

Link copied to clipboard
fun empty(): PrologScopeWithTheories
Content copied to clipboard