Up
–
mina_transaction_logic
»
Mina_transaction_logic
»
Zkapp_command_logic
»
Make
»
1-Inputs
» Sequence_events
Module
1-Inputs.Sequence_events
type
t
val
is_empty :
t
->
Bool.t
val
push_events :
Field.t
->
t
->
Field.t