def CrXor.out_state

import bend-osdev-crypto@0.1.0.0/stream.bend as Stream

import Base

107def CrXor.out_state(~S: Data, o: CrXorOut<S>) -> S:
108  match o:
109    case CrXorOut{st, d}:
110      st

Uses (1)