def count_inverses

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

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

import Base

44def count_inverses(~World:Type,undo:List<(World -> World)>) -> List<(World -> World)> & Nat:
45  match undo:
46    case []:([],0n)
47    case inverse <> rest:inverse_counted(~World,inverse,count_inverses(~World,rest))

Uses (5)

Used by (2)