def ord.nat

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

import Base

361def ord.nat(eq: Bool, lt: Bool) -> Ord:
362  match eq:
363    case True{}:
364      Eq{}
365    case False{}:
366      ord.lt(lt)

Uses (3)