Skip to content

Specify spec of PartialEq and PartialOrd on trait method side for now#82

Merged
coord-e merged 1 commit intomainfrom
coord-e/partialeq-partialord-spec
May 10, 2026
Merged

Specify spec of PartialEq and PartialOrd on trait method side for now#82
coord-e merged 1 commit intomainfrom
coord-e/partialeq-partialord-spec

Commits

Commits on May 10, 2026