law bookmark_advances

bend-kube-runtime@0.2.0.0 · LAWS.bend:66

import Base
import bend-kube-runtime@0.2.0.0/src/core.bend as C
import bend-kube-runtime@0.2.0.0/src/watcher.bend as W

66# A bookmark moves the resume version and emits nothing.
67law bookmark_advances:
68  for rv: String
69  for v: String
70  for f: U32
71  for first: Bool
72  {W.Watcher.step(W.WState{W.WWatch{rv}, f, first}, W.IEvent{C.WBookmark{v}})
73    == W.Step{W.WState{W.WWatch{v}, 0, False{}}, Nil{}, False{}} : W.Step}