oop-lib/it.unibo.tuprolog.solve.libs.oop.primitives/Ref

Ref

object Ref : TypeTester<ExecutionContext>

ref(?Term): succeeds iff Term is an it.unibo.tuprolog.solve.libs.oop.Ref (an it.unibo.tuprolog.solve.libs.oop.ObjectRef or a it.unibo.tuprolog.solve.libs.oop.TypeRef).

Properties

descriptionPair

val descriptionPair: Pair<Signature, Primitive>

val functor: String

override val implementation: Primitive

val signature: Signature

Functions

open override fun testType(term: Term): Boolean