~/jendhub

def nonempty_record

bendvy-ecs-core@0.1.0.4 · event_publication.bend:77

import bendvy-ecs-core@0.1.0.4/event_publication.bend as EventPublication
import Base
import event_runtime.bend as Ev

77def nonempty_record(~A:Data,~B:Data,record:Publication<A,B>) -> Bool:
78  match record:
79    case Publication{first,second}:Nat.is_lt(0n,Nat.add(Ev.count(~A,first),Ev.count(~B,second)))

Uses (5)

Used by (1)