def next_revision

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

import Base

30def next_revision(same:Bool,revision:Nat) -> Nat:
31  match same:
32    case True{}:revision
33    case False{}:(revision + 1n : Nat)

Uses (3)