Compressed (non_zero_curve_point.Non_zero_curve

module Arg : sig ... end

module Stable : sig ... end

type t = Stable.Latest.t

val equal : t -> t -> bool

val compare : t -> t -> int

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

module Poly : sig ... end

val (>=) : Stable.Latest.t -> Stable.Latest.t -> bool

val (<=) : Stable.Latest.t -> Stable.Latest.t -> bool

val (=) : Stable.Latest.t -> Stable.Latest.t -> bool

val (>) : Stable.Latest.t -> Stable.Latest.t -> bool

val (<) : Stable.Latest.t -> Stable.Latest.t -> bool

val (<>) : Stable.Latest.t -> Stable.Latest.t -> bool

val equal : Stable.Latest.t -> Stable.Latest.t -> bool

val compare : Stable.Latest.t -> Stable.Latest.t -> int

val min : Stable.Latest.t -> Stable.Latest.t -> Stable.Latest.t

val max : Stable.Latest.t -> Stable.Latest.t -> Stable.Latest.t

val ascending : Stable.Latest.t -> Stable.Latest.t -> int

val descending : Stable.Latest.t -> Stable.Latest.t -> int

val between : 
  Stable.Latest.t ->
  low:Stable.Latest.t ->
  high:Stable.Latest.t ->
  bool

val clamp_exn : 
  Stable.Latest.t ->
  min:Stable.Latest.t ->
  max:Stable.Latest.t ->
  Stable.Latest.t

val clamp : 
  Stable.Latest.t ->
  min:Stable.Latest.t ->
  max:Stable.Latest.t ->
  Stable.Latest.t Base__.Or_error.t

type comparator_witness =
  Core_kernel__Comparable.Make_binable(Stable.Latest).comparator_witness

val validate_lbound : 
  min:Stable.Latest.t Base__.Maybe_bound.t ->
  Stable.Latest.t Base__.Validate.check

val validate_ubound : 
  max:Stable.Latest.t Base__.Maybe_bound.t ->
  Stable.Latest.t Base__.Validate.check

val validate_bound : 
  min:Stable.Latest.t Base__.Maybe_bound.t ->
  max:Stable.Latest.t Base__.Maybe_bound.t ->
  Stable.Latest.t Base__.Validate.check

module Replace_polymorphic_compare : sig ... end

val comparator : 
  ( Stable.Latest.t, comparator_witness ) Core_kernel__Comparator.comparator

module Map : sig ... end

module Set : sig ... end

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

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

val hashable : Stable.Latest.t Core_kernel__.Hashtbl.Hashable.t

module Table : sig ... end

module Hash_set : sig ... end

module Hash_queue : sig ... end

include module type of struct include Stable.Latest.Base58 end

module Base58_check = Stable.Latest.Base58.Base58_check

val to_base58_check : Stable.V1.T.M.t -> string

val of_base58_check : string -> Stable.V1.T.M.t Base__Or_error.t

val of_base58_check_exn : string -> Stable.V1.T.M.t

val to_yojson : Stable.V1.T.M.t -> [> `String of string ]

val of_yojson : 
  Yojson.Safe.t ->
  ( Stable.V1.T.M.t, string ) Core_kernel.Result.t

val to_string : Stable.V1.T.M.t -> string

val sexp_of_t : Stable.Latest.M.t -> Core_kernel.Sexp.t

val t_of_sexp : Core_kernel.Sexp.t -> Stable.Latest.M.t

val gen : 
  ( Snark_params.Tick.Field.t, bool )
    Mina_wire_types.Public_key.Compressed.Poly.V1.t
    Core_kernel__Quickcheck.Generator.t

val compress : ('a * Backend.Tick.Field.t) -> ( 'b, bool ) Poly.t

val empty : ( Snark_params.Tick.Field.t, bool ) Poly.t

val to_input : 
  ( Snark_params.Tick.Field.t, bool ) Poly.t ->
  Snark_params.Tick.Field.t Random_oracle.Input.Chunked.t

val to_input_legacy : 
  ( 'a, 'b ) Poly.t ->
  ( 'c, 'd ) Random_oracle.Input.Legacy.t

type var =
  ( Snark_params.Tick.Field.Var.t, Snark_params.Tick.Boolean.var ) Poly.t

val typ : ( var, t ) Snark_params.Tick.Typ.t

val var_of_t : t -> var

val assert_equal : 
  var ->
  var ->
  ( unit, Backend.Tick.Field.t ) Snarky_backendless.Checked_runner.Simple.t

module Checked : sig ... end