def ord.lt

ezx@1.11.0.0 · src/git/git.bend:354

import Base

354def ord.lt(lt: Bool) -> Ord:
355  match lt:
356    case True{}:
357      Lt{}
358    case False{}:
359      Gt{}