def next_revision

bendvy-ecs-core@0.1.0.3 · execution_machine_state.bend:48

import Base

48def next_revision(same:Bool,revision:Nat) -> Nat:
49  match same:
50    case True{}:revision
51    case False{}:1n+revision