def Ord.R

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

import Base

18def Ord.R(-A: Data, d: Ord<A>, x: A, y: A) -> Type:
19  match d:
20    case Ord{R, dec}:
21      R(x, y)

Uses (1)