getArgAt

open fun getArgAt(index: Int): Term

Gets the index-th argument if this Struct.

Return

the Term having position index in args

Parameters

index

is the index the argument which should be retrieved

Throws

if index is lower than 0 or greater or equal to arity