isSatisfied
abstract fun isSatisfied(inferenceVariableSubstitution: InferenceVariableSubstitution): Boolean(source)
A bound is satisfied by an inference variable substitution if, after applying the substitution, the assertion is true.
A bound is satisfied by an inference variable substitution if, after applying the substitution, the assertion is true.