def Ord.dec

bend-lawful-stdlib@0.1.0.0 · src/class.bend:23

import bend-lawful-stdlib@0.1.0.0/src/class.bend as Class

import Base

23def Ord.dec(-A: Data, d: Ord<A>, x: A, y: A) -> Or(Ord.R(A, d, x, y), Ord.R(A, d, y, x)):
24  match d:
25    case Ord{R, dec}:
26      dec(x, y)

Uses (3)

Used by (4)