theory/it.unibo.tuprolog.collections/ClauseMultiSet/Companion/empty

empty

@JvmStatic
fun empty(): ClauseMultiSet
Content copied to clipboard

Creates an empty ClauseMultiSet