solve/it.unibo.tuprolog.solve.stdlib.primitive/InternalHelp

InternalHelp

object InternalHelp : BinaryRelation.WithoutSideEffects<ExecutionContext>

Internal documentation relation. The public entry point is help/2.

Subjects are predicate/function/operator indicators, flag(Name), or library(Alias).

Properties

descriptionPair

val descriptionPair: Pair<Signature, Primitive>

Gets this wrapped primitive description Pair formed by signature and wrapped primitive type

val functor: String

A shorthand to get the signature functor name

open override val help: String

override val implementation: Primitive

Checked primitive implementation, retaining this wrapper's help metadata.

val signature: Signature