addFirst

abstract fun addFirst(clause: Clause): ClauseQueue
Content copied to clipboard

Gives a freshly produced ClauseQueue including the given Clause in the first position and the content of this one