def cmp.fin

bend-lawful-stdlib@0.1.0.0 · src/float/bin.bend:141

import Base

141def cmp.fin(p: Bool, q: Bool, hi: Cmp) -> Cmp:
142  match hi:
143    case LT{}:
144      LT{}
145    case EQ{}:
146      Bool.cmp(p, q)
147    case GT{}:
148      GT{}