args

open override val args: List<Term>

List of arguments of this Struct.