~/jendhub

def abort

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

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

48def abort(~World:Type,~E:Data,~P:Type,~Q:Type,receipts:List<Receipt<World,P,Q>>,tx:T.Tx<World,E>) -> Returned<World,P,Q>:
49  match tx:
50    case T.Tx{world,undo,_,_,_}:counted(~World,~P,~Q,receipts,world,count_inverses(~World,undo))

Uses (6)

Used by (1)