~/jendhub

def counted

bendvy-ecs-core@0.1.0.4 · decode_owned_journal.bend:37

import bendvy-ecs-core@0.1.0.4/decode_owned_journal.bend as DecodeOwnedJournal
import Base

37def counted(~World:Type,~P:Type,~Q:Type,receipts:List<Receipt<World,P,Q>>,world:World,result:List<(World -> World)> & Nat) -> Returned<World,P,Q>:
38  match result:
39    case (undo,count):rollback(~World,~P,~Q,receipts,undo,count,world,[],[])

Uses (7)

Used by (1)