impl PartialOrd via is_{sub,super}set #49
Description
Instead of a.is_subset(b), we should be able to write a <= b.
{{ message }}
impl PartialOrd via is_{sub,super}set #49Instead of a.is_subset(b), we should be able to write a <= b.