Module Snark_keys_header

val header_string : string

The string that preceeds the JSON header, to identify the file kind before attempting to parse it.

module UInt64 : sig ... end
module Kind : sig ... end
module Constraint_constants : sig ... end
module Commits : sig ... end
val header_version : int
type t = {
header_version : int;
kind : Kind.t;
constraint_constants : Constraint_constants.t;
commits : Commits.t;
length : int;
commit_date : string;
constraint_system_hash : string;
identifying_hash : string;
}

Header contents

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
val prefix : string
val prefix_len : int
val parse_prefix : Stdlib.Lexing.lexbuf -> ( unit, Core_kernel.Error.t ) Core_kernel.Result.t
val parse_lexbuf : Stdlib.Lexing.lexbuf -> ( Yojson.Safe.t, Core_kernel.Error.t ) Core_kernel.Result.t
val write_with_header : expected_max_size_log2:int -> append_data:( Base.string -> 'a ) -> t -> Base.string -> Base.unit
val read_with_header : read_data:( offset:int -> Base.string -> 'a ) -> Base.string -> (t * 'b) Core_kernel.Or_error.t