~/jendhub

def ord.rel.at

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

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

441def ord.rel.at(ae: Bool, be: Bool, left: List<&2, Id>, right: List<&2, Id>) -> Ord:
442  match ae be:
443    case True{} True{}:
444      Eq{}
445    case True{} False{}:
446      Gt{}
447    case False{} True{}:
448      Lt{}
449    case False{} False{}:
450      ord.ids(left, right)

Uses (5)

Used by (1)