Module Mavkit_smart_rollup.Kind

type t =
  1. | Example_arith
  2. | Wasm_2_0_0
  3. | Riscv
val encoding : t Mavryk_base.TzPervasives.Data_encoding.t
val equal : t -> t -> bool
val all : t list

all returns all implemented PVMs.

val of_string : string -> t option
val to_string : t -> string
val pp : Stdlib.Format.formatter -> t -> unit