def list.cons

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

import Base

74def list.cons(-A: Data, +h: A, rs: List<&1, List<&2, A>>) -> List<&1, List<&2, A>>:
75  match rs:
76    case Nil{}:
77      Nil{}
78    case r <> t:
79      (h <> r) <> list.cons(A, h, t)