def ord.str

import ezx@1.11.0.0/src/git/git.bend as Git

import Base

368def ord.str(eq: Bool, le: Bool) -> Ord:
369  match eq:
370    case True{}:
371      Eq{}
372    case False{}:
373      ord.lt(le)

Uses (3)