theory
/
it.unibo.tuprolog.theory
/
Theory
/
Companion
/
emptyIndexed
empty
Indexed
@
JvmStatic
()
fun
emptyIndexed
():
Theory
Content copied to clipboard
Creates an empty
Theory
backed by an indexed data structure