def cs_s

import bend-collections-laws-crypto@1.0.0.0/src/crypto/ed25519/point.bend as Point

import Base

41def cs_s(c: Cs) -> List<&2, U32>:
42  match c:
43    case Cs{d, d2, s}:
44      s

Uses (3)