def list.heads

bend-kit-property@0.4.0.0 · shrink.bend:67

import bend-kit-property@0.4.0.0/shrink.bend as Shrink
import Base

67def list.heads(-A: Data, cs: List<&1, A>, +t: List<&2, A>) -> List<&1, List<&2, A>>:
68  match cs:
69    case Nil{}:
70      Nil{}
71    case c <> r:
72      (c <> t) <> list.heads(A, r, t)

Uses (1)

Used by (1)