def list.frame

bend-kit-journal@0.3.1.0 · journal.bend:220

import bend-kit-journal@0.3.1.0/journal.bend as Journal
import Base

220def list.frame(+p: List<&2, U32>) -> List<&2, U32>:
221  List.append(&2, U32, list.head(U32.from_nat(List.length(&2, U32, p)), list.crc(p)), p)

Uses (7)

Used by (1)