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

TypeRef

object TypeRef : TypeTester<ExecutionContext>

type_ref(?Term): succeeds iff Term is 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