checkTerm

open override fun checkTerm(checkHelper: CheckHelper)(source)