type State
import bend-lawful-stdlib@0.1.0.0/src/sim.bend as Simimport Base
18type State<-P: Data> is Data:
19 State{x: P, v: P}
Uses (0)
This definition uses no other definition.
import bend-lawful-stdlib@0.1.0.0/src/sim.bend as Simimport Base
18type State<-P: Data> is Data:
19 State{x: P, v: P}
This definition uses no other definition.