law pop_model.rot

bend-lawful-stdlib@0.1.0.0 · src/queue.bend:71

import Base
import bend-lawful-stdlib@0.1.0.0/src/list.bend as List

71law pop_model.rot:
72  for -A: Data
73  for f: List<&2, A>
74  {List.uncons(A, f) == pop.model(A, pop.rot(A, f)) : List.Step<&2, A, List<&2, A>>}