~/jendhub

def wr

bend-collections-laws-crypto@1.0.0.0 · proofs/math/natural/gcd.bend:45

import bend-collections-laws-crypto@1.0.0.0/proofs/math/natural/gcd.bend as Gcd
import Base

45def wr(w: Wit) -> Nat:
46  match w:
47    case W{l, r}:
48      r

Uses (2)

Used by (11)