Module Shifted_value.Type2

module Stable : sig ... end
type 'f t = 'f Stable.Latest.t =
| Shifted_value of 'f
val to_yojson : ( 'f -> Yojson.Safe.t ) -> 'f t -> Yojson.Safe.t
val of_yojson : ( Yojson.Safe.t -> 'f Ppx_deriving_yojson_runtime.error_or ) -> Yojson.Safe.t -> 'f t Ppx_deriving_yojson_runtime.error_or
include Ppx_sexp_conv_lib.Sexpable.S1 with type 'f t := 'f t
val t_of_sexp : ( Sexplib0__.Sexp.t -> 'a ) -> Sexplib0__.Sexp.t -> 'a t
val sexp_of_t : ( 'a -> Sexplib0__.Sexp.t ) -> 'a t -> Sexplib0__.Sexp.t
val compare : ( 'f -> 'f -> int ) -> 'f t -> 'f t -> int
val equal : ( 'f -> 'f -> bool ) -> 'f t -> 'f t -> bool
val hash_fold_t : ( Ppx_hash_lib.Std.Hash.state -> 'f -> Ppx_hash_lib.Std.Hash.state ) -> Ppx_hash_lib.Std.Hash.state -> 'f t -> Ppx_hash_lib.Std.Hash.state
val equal : ( 'a, 'res ) Sigs.rel2 -> ( 'a t, 'res ) Sigs.rel2

User beware: equal is not your regular equality predicate. It's just a binary relation.

val typ : ( 'a, 'b, 'f ) Snarky_backendless.Typ.t -> ( 'a t, 'b t, 'f ) Snarky_backendless.Typ.t
val map : 'a t -> f:( 'a -> 'b ) -> 'b t
module Shift : sig ... end
val of_field : (module Field_intf with type t = 'f) -> shift:'f Shift.t -> 'f -> 'f t
val to_field : (module Field_intf with type t = 'f) -> shift:'f Shift.t -> 'f t -> 'f