termType

open val termType: <ERROR CLASS>