Signature

data class Signature( val name: String, val arity: Int, val vararg: Boolean = false)

The signature of a query Struct or a Primitive

Constructors

fun Signature( name: String, arity: Int, vararg: Boolean = false)

fun toIndicator(): <ERROR CLASS>

Converts this Signature to Indicator, if possible without loosing information, otherwise throws an exception

open fun toTerm(): <ERROR CLASS>

Converts this signature to a Struct '/'([name], [arity]) or '/'([name],'+'([arity], vararg))

infix fun withArgs(arguments: Iterable<<ERROR CLASS>>): <ERROR CLASS>

Creates corresponding Struct of this Signature with provided arguments

val vararg: Boolean = false