~/jendhub

def wl

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

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

40def wl(w: Wit) -> Nat:
41  match w:
42    case W{l, r}:
43      l

Uses (2)

Used by (14)