val length_in_bytes : intinclude module type of struct include T end
val protocol_state_body : tval merkle_tree : int -> tval coinbase_merkle_tree : int -> tval transition_system_snark : tval signature_testnet : tval signature_mainnet : tval receipt_chain_user_command : tval receipt_chain_zkapp : tval pending_coinbases : tval coinbase_stack_data : tval coinbase_stack_state_hash : tval bowe_gabizon_hash : tval zkapp_precondition : tval zkapp_precondition_account : tval zkapp_precondition_protocol_state : tval account_update_account_precondition : tval account_update_cons : tval account_update_node : tval account_update_stack_frame : tval account_update_stack_frame_cons : tval zkapp_sequence_events : t