isspbdsl

func PushCheckpoint(m dsl.Module, destModule types.ModuleID)

func SBDeliver(m dsl.Module, destModule types.ModuleID, sn types.SeqNr, data []uint8, aborted bool, leader types.NodeID, instanceId types.ModuleID)

func UponISSEvent[W types.ISSEvent_TypeWrapper[Ev], Ev any](m dsl.Module, handler func(ev *Ev) error)

func UponISSMessageReceived[W types.ISSMessage_TypeWrapper[M], M any](m dsl.Module, handler func(from types1.NodeID, msg *M) error)

func UponPushCheckpoint(m dsl.Module, handler func() error)

func UponSBDeliver(m dsl.Module, handler func(sn types2.SeqNr, data []uint8, aborted bool, leader types2.NodeID, instanceId types2.ModuleID) error)