def cr_out

import bend-collections@1.0.0.0/src/crypto/curve25519/field.bend as Field

import Base

87def cr_out(r: Cr) -> U32:
88  match r:
89    case Cr{a, c}:
90      c

Uses (2)