headArgs

abstract val headArgs: Iterable<Term>

The arguments of head. Alias for head.args.