Checks whether the set lhs is a subset to the set rhs. Note that the order of arguments is reversed.
lhs
rhs
The Ord instance for T.
Ord
T
Whether lhs is a subset to rhs (lhs ⊆ rhs).
lhs ⊆ rhs
Checks whether the set
lhsis a subset to the setrhs. Note that the order of arguments is reversed.