def Nat.is_ge
import Base743def Nat.is_ge(a: Nat, b: Nat) -> Bool:
744 Cmp.is_ge(Nat.cmp(a, b))
Uses (4)
Used by (83)
- stelliferous@0.0.2.0/proofs/binary_division:step
- bend-collections-laws-crypto@1.0.0.0/spec/crypto/sha/packed:blocks
- bend-collections-laws-crypto@1.0.0.0/src/crypto/sha/packed/packed:blocks
- bend-collections@1.0.0.0/spec/crypto/sha/packed:blocks
- bend-collections@1.0.0.0/src/crypto/sha/packed/packed:blocks
- …