def cr.rev_onto
import bend-osdev-crypto@0.1.0.0/stream.bend as Streamimport Base
82def cr.rev_onto(xs: List<&2, U32>, acc: List<&2, U32>) -> List<&2, U32>:
83 match xs:
84 case Nil{}:
85 acc
86 case Con{h, t}:
87 cr.rev_onto(t, Con{h, acc})