law tz

lawful-fields@0.1.1.0 · proof_cut.bend:26

import Base

26law tz:
27  for -A: Data
28  for +xs: List<&2, A>
29  {List.take(&2, A, xs, 0n) == Nil{} : List<&2, A>}