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

empty

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

Creates an empty MutableClauseMultiSet