law back_step

bend-lawful-stdlib@0.1.0.0 · src/sim.bend:33

import Base
import bend-lawful-stdlib@0.1.0.0/src/class.bend as C

33# back undoes step
34law back_step:
35  for ~P: Data
36  for ~g: C.Group<P>
37  for ~F: P -> P
38  for s: State<P>
39  {s == back(~P, ~g, ~F, step(~P, ~g, ~F, s)) : State<P>}