~/jendhub

type UpperBound

stelliferous@0.0.2.0 · proofs/nat_order.bend:82

import stelliferous@0.0.2.0/proofs/nat_order.bend as NatOrder
import Base

82type UpperBound<-value: Nat,-limit: Nat> is Data:
83  Before{inside: {Nat.is_lt(value,limit) == True{} : Bool}}
84  At{equal: {value == limit : Nat}}

Uses (3)

Used by (2)