This member is added by an implicit conversion from IsDistinctConstraint[L] to
any2stringadd[IsDistinctConstraint[L]] performed by method any2stringadd in scala.Predef.
This member is added by an implicit conversion from IsDistinctConstraint[L] to
ArrowAssoc[IsDistinctConstraint[L]] performed by method ArrowAssoc in scala.Predef.
This member is added by an implicit conversion from IsDistinctConstraint[L] to
StringFormat[IsDistinctConstraint[L]] performed by method StringFormat in scala.Predef.
This member is added by an implicit conversion from IsDistinctConstraint[L] to
ArrowAssoc[IsDistinctConstraint[L]] performed by method ArrowAssoc in scala.Predef.
Type class witnessing that all elements of
L
have distinct types