def cr_out
import bend-collections-laws-crypto@1.0.0.0/src/crypto/curve25519/field.bend as Fieldimport Base
87def cr_out(r: Cr) -> U32:
88 match r:
89 case Cr{a, c}:
90 c
import bend-collections-laws-crypto@1.0.0.0/src/crypto/curve25519/field.bend as Fieldimport Base
87def cr_out(r: Cr) -> U32:
88 match r:
89 case Cr{a, c}:
90 c