Non_zero_curve_point (non_zero_curve_point.Non_zero_curve

val parity : Backend.Tick.Field.t -> bool

val gen_uncompressed : 
  (Snark_params.Tick.Field.t * Kimchi_pasta_basic.Fp.t)
    Core_kernel.Quickcheck.Generator.t

module Compressed : sig ... end

module Uncompressed : sig ... end

include module type of struct include Uncompressed end

val decompress : 
  Compressed.t ->
  (Snark_params.Tick.Field.t * Kimchi_pasta_basic.Fp.t) option

val decompress_exn : 
  Compressed.t ->
  Snark_params.Tick.Field.t * Kimchi_pasta_basic.Fp.t

val of_base58_check_decompress_exn : string -> Compressed.Stable.V1.T.M.t

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

module Stable = Uncompressed.Stable

type t = Stable.Latest.t

val compare : t -> t -> int

val equal : t -> t -> bool

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 (>=) : 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 = Uncompressed.Replace_polymorphic_compare

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

module Map = Uncompressed.Map

module Set = Uncompressed.Set

val of_bigstring : Core_kernel.Bigstring.t -> Stable.Latest.t Base__Or_error.t

val to_bigstring : Stable.Latest.t -> Core_kernel.Bigstring.t

val sexp_of_t : 
  (Snark_params.Tick.Field.t * Backend.Tick.Field.t) ->
  Core_kernel.Sexp.t

val t_of_sexp : 
  Core_kernel.Sexp.t ->
  Snark_params.Tick.Field.t * Kimchi_pasta_basic.Fp.t

val to_yojson : 
  (Snark_params.Tick.Field.t * Backend.Tick.Field.t) ->
  [> `String of string ]

val of_yojson : 
  Yojson.Safe.t ->
  ( Snark_params.Tick.Field.t * Kimchi_pasta_basic.Fp.t, string )
    Core_kernel.Result.t

val gen : t Core_kernel.Quickcheck.Generator.t

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

val of_inner_curve_exn : 
  Pasta_bindings.Pallas.t ->
  Kimchi_pasta_basic.Fp.t * Kimchi_pasta_basic.Fp.t

val to_inner_curve : 
  (Kimchi_pasta_basic.Fp.t * Kimchi_pasta_basic.Fp.t) ->
  Pasta_bindings.Pallas.t

type var = Snark_params.Tick.Field.Var.t * Snark_params.Tick.Field.Var.t

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

val var_of_t : 
  (Backend.Tick.Field.t * Backend.Tick.Field.t) ->
  Snark_params.Tick.Field.Var.t * Snark_params.Tick.Field.Var.t

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

val parity_var : 
  Backend.Tick.Field.t Snarky_backendless.Cvar.t ->
  ( Backend.Tick.Field.t Snarky_backendless.Cvar.t Snarky_backendless.Boolean.t,
    Backend.Tick.Field.t )
    Snarky_backendless.Checked_runner.Simple.t

val decompress_var : 
  Compressed.var ->
  ( Snark_params.Tick.Field.Var.t
    * Backend.Tick.Field.t Snarky_backendless.Cvar.t,
    Backend.Tick.Field.t )
    Snarky_backendless.Checked_runner.Simple.t

val compress_var : var -> Compressed.var Snark_params.Tick.Checked.t