typeConstraints

abstract val typeConstraints: List<TypeConstraint>