Module Snark_keys_header.Kind

type t = {
type_ : string;(*

Identifies the type of data that the file contains

*)
identifier : string;(*

Identifies the specific purpose of the file's data, in a human-readable format

*)
}

The 'kind' of data in the file. For example, a step proving key for the base transaction snark may have the kind:

  {type_= "step_proving_key"; identifier= "transaction_snark_base"}
|}
val to_yojson : t -> Yojson.Safe.t
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val _ : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val compare : t -> t -> Ppx_deriving_runtime.int
val t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t
val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t
val equal : t -> t -> bool