~/jendhub

def ord.ids

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

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

430def ord.ids(left: List<&2, Id>, right: List<&2, Id>) -> Ord:
431  match left right:
432    case Nil{} Nil{}:
433      Eq{}
434    case Nil{} Con{_h, _t}:
435      Lt{}
436    case Con{_h, _t} Nil{}:
437      Gt{}
438    case Con{ha, ta} Con{hb, tb}:
439      ord.nums.at(ord.id(ha, hb), _u => ord.ids(ta, tb))

Uses (5)

Used by (1)