[A where] clause states the operations a type must … the parameter itself can be used inside those … [For example,] where T has method equal (v : … any valid type parameter for SetImp must have … satisfying a where clause is said to conform …
Google-1
Google-2
Copyright clearance needed for quotation.