getHeadArg

abstract fun getHeadArg(index: Int): Term

Gets the index-th argument of head.

Throws

if index is out of head's argument bounds