def revision

bendvy-ecs-core@0.1.0.4 · ordinary_machine_initialization.bend:22

import bendvy-ecs-core@0.1.0.4/ordinary_machine_initialization.bend as OrdinaryMachineInitialization

import Base

22def revision(~S:Data,~K:Data,~V:Data,+state:State<S,K,V>) -> State<S,K,V> & Nat:
23  match state:
24    case State{value,stream,+revision}:(State{value,stream,revision},revision)

Uses (4)

Nat
Pair
Sigma
bendvy-ecs-core@0.1.0.4/ordinary_machine_initialization:State

Used by (0)

No other definition uses this definition.