core/it.unibo.tuprolog.argumentation.core.primitives.utils/Sort

Sort

object Sort : BinaryRelation.WithoutSideEffects<ExecutionContext>

sort(+List, ?Sorted): reverse standard order of terms, duplicates kept (as the former quicksort)

Properties

descriptionPair

val descriptionPair: Pair<Signature, Primitive>

val functor: String

open val help: String

override val implementation: Primitive

val signature: Signature