With_stack_hash (mina_base.Mina_base.With_stack

module Stable : sig ... end

type ('a, 'field) t = ( 'a, 'field ) Stable.Latest.t = {

elt : 'a;

stack_hash : 'field;

}

val to_yojson : 
  'a 'field. ( 'a -> Yojson.Safe.t ) ->
  ( 'field -> Yojson.Safe.t ) ->
  ( 'a, 'field ) t ->
  Yojson.Safe.t

val of_yojson : 
  'a 'field. ( Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'field Ppx_deriving_yojson_runtime.error_or ) ->
  Yojson.Safe.t ->
  ( 'a, 'field ) t Ppx_deriving_yojson_runtime.error_or

val _ : 
  ( Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'b Ppx_deriving_yojson_runtime.error_or ) ->
  Yojson.Safe.t ->
  ( 'a, 'b ) t Ppx_deriving_yojson_runtime.error_or

val t_of_sexp : 
  'a 'field. ( Ppx_sexp_conv_lib.Sexp.t -> 'a ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'field ) ->
  Ppx_sexp_conv_lib.Sexp.t ->
  ( 'a, 'field ) t

val sexp_of_t : 
  'a 'field. ( 'a -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'field -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'a, 'field ) t ->
  Ppx_sexp_conv_lib.Sexp.t

val compare : 
  'a 'field. ( 'a -> 'a -> int ) ->
  ( 'field -> 'field -> int ) ->
  ( 'a, 'field ) t ->
  ( 'a, 'field ) t ->
  int

val equal : 
  'a 'field. ( 'a -> 'a -> bool ) ->
  ( 'field -> 'field -> bool ) ->
  ( 'a, 'field ) t ->
  ( 'a, 'field ) t ->
  bool

val hash_fold_t : 
  'a 'field. ( Ppx_hash_lib.Std.Hash.state ->
               'a ->
               Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state -> 'field -> Ppx_hash_lib.Std.Hash.state ) ->
  Ppx_hash_lib.Std.Hash.state ->
  ( 'a, 'field ) t ->
  Ppx_hash_lib.Std.Hash.state

val stack_hash : ( 'a, 'b ) t -> 'c

val elt : ( 'a, 'b ) t -> 'c

module Fields : sig ... end

val quickcheck_generator : 
  'a Base_quickcheck.Generator.t ->
  'b Base_quickcheck.Generator.t ->
  ( 'c, 'd ) t Base_quickcheck.Generator.t

val quickcheck_observer : 
  'a Base_quickcheck.Observer.t ->
  'b Base_quickcheck.Observer.t ->
  ( 'c, 'd ) t Base_quickcheck.Observer.t

val quickcheck_shrinker : 
  'a Base_quickcheck.Shrinker.t ->
  'b Base_quickcheck.Shrinker.t ->
  ( 'c, 'd ) t Base_quickcheck.Shrinker.t

val map : ( 'a, 'b ) t -> f:( 'c -> 'd ) -> ( 'e, 'f ) t