Module Mavryk_scoru_wasm.Builtins

type reveals = Wasm_pvm_state.reveal -> string Lwt.t
type write_debug =
  1. | Noop
  2. | Printer of string -> unit Lwt.t