Constraint_constants (snark_keys_header.Snark_keys_header.Constraint

module Transaction_capacity : sig ... end

module Fork_config : sig ... end

type t = {

sub_windows_per_window : int;

ledger_depth : int;

work_delay : int;

block_window_duration_ms : int;

transaction_capacity : Transaction_capacity.t;

pending_coinbase_depth : int;

coinbase_amount : UInt64.t;

supercharged_coinbase_factor : int;

account_creation_fee : UInt64.t;

fork : Fork_config.t option;

}

The constants used in the constraint system.

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