checkTerm

open fun checkTerm(checkHelper: CheckHelper)(source)