Description

A Constraint records the fact that the RHS type does and must satisify the LHS type, which is an interface. The names are suggestive of an assignment statement LHS = RHS.