Module Mavryk_scoru_wasm.Constants

val wasm_main_module_name : string
val wasm_entrypoint : string
val wasm_host_funcs_virual_module : string
val maximum_reboots_per_input : Z.t
val reboot_flag_key : Durable.key
val kernel_key : Durable.key
val kernel_fallback_key : Durable.key
val stuck_flag_key : Durable.key
val upgrade_error_flag_key : Durable.key
val too_many_reboot_flag_key : Durable.key
val reboot_counter_key : Durable.key
val version_key : Durable.key
val stack_size_limit : int
val atlas_name : string
val boreas_name : string
val proto_alpha_name : string