parts

fun parts(argument: Term): ArgumentTerm.Parts?

The parts of argument, the term of an argument; null if it is not one