isAdmissibleValue

open fun isAdmissibleValue(value: Term): Boolean

Whether value is one of admissibleValues.