~/jendhub

def reverse_length

qasim-bend-kit@0.1.0.2 · proof/AES_ZipLengthProof.bend:111

import qasim-bend-kit@0.1.0.2/proof/AES_ZipLengthProof.bend as AESZipLengthProof
import Base

111def reverse_length(+xs: List<&2, U32>) ->
112    {List.length(&2, U32, List.reverse(&2, U32, xs)) ==
113     List.length(&2, U32, xs) : Nat}:
114    reverse_go_length(xs, Nil{})

Uses (6)

Used by (1)