def list.recover
import bend-kit-journal@0.3.1.0/journal.bend as Journalimport Base
211def list.recover(n: Nat, +max: U32, xs: List<&2, U32>) -> Recovery<&2, List<&2, U32>, List<&2, U32>>:
212 recover(~&2, ~List<&2, U32>, ~List<&2, U32>, ~list.fits, ~list.u32, ~list.cut, ~list.skip, ~list.sum, n, max, xs)
Uses (10)
Used by (0)
No other definition uses this definition.