Branch_data (pickles.Composition_types.Branch

module Proofs_verified = Pickles_base.Proofs_verified

module Domain_log2 : sig ... end

module Stable : sig ... end

type t = Stable.Latest.t = {

proofs_verified : Proofs_verified.t;

domain_log2 : Domain_log2.t;

}

val to_yojson : t -> Yojson.Safe.t

val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or

val to_hlist : 
  t ->
  ( unit, Proofs_verified.t -> Domain_log2.t -> unit ) H_list.t

val of_hlist : 
  ( unit, Proofs_verified.t -> Domain_log2.t -> unit ) H_list.t ->
  t

val compare : t -> t -> int

include Ppx_sexp_conv_lib.Sexpable.S with type t := t

val t_of_sexp : Sexplib0__.Sexp.t -> t

val sexp_of_t : t -> Sexplib0__.Sexp.t

val hash_fold_t : 
  Ppx_hash_lib.Std.Hash.state ->
  t ->
  Ppx_hash_lib.Std.Hash.state

val hash : t -> Ppx_hash_lib.Std.Hash.hash_value

val equal : t -> t -> bool

module Checked : sig ... end

val typ : 
  (module Snarky_backendless.Snark_intf.Run with type field = 'f) ->
  assert_16_bits:( 'f Snarky_backendless.Cvar.t -> unit ) ->
  ( 'f Checked.t, t, 'f ) Snarky_backendless.Typ.t

val packed_typ : 
  (module Snarky_backendless.Snark_intf.Run with type field = 'f) ->
  ( 'f Snarky_backendless.Cvar.t, t, 'f ) Snarky_backendless.Typ.t

val length_in_bits : int

val domain : t -> Pickles_base.Domain.t