Inner_curve (pickles.Pickles.Step_main_inputs.Inner

module Inputs : sig ... end

module Params = Inputs.Params

module Constant = Inputs.Constant

type t = Inputs.F.t * Inputs.F.t

val add' : 
  div:( Inputs.F.t -> Inputs.F.t -> Inputs.F.t ) ->
  (Inputs.F.t * Inputs.F.t) ->
  (Inputs.F.t * Inputs.F.t) ->
  t

val add_exn : t -> t -> t

val to_affine_exn : 'a -> 'a

val constant : Inputs.Constant.t -> t

val assert_on_curve : t -> unit

val typ_unchecked : ( t, Inputs.Constant.t ) Inputs.Impl.Typ.t

val typ : ( t, Inputs.Constant.t ) Inputs.Impl.Typ.t

module Scalar : sig ... end

module type Shifted_intf = sig ... end

module Shifted (M : sig ... end) () : Shifted_intf

val shifted : unit -> (module Shifted_intf)

module Window_table : sig ... end

val pow2s : Inputs.Constant.t -> Inputs.Constant.t Core_kernel.Array.t

module Scaling_precomputation : sig ... end

val add_unsafe : t -> t -> t

val lookup_point : 
  (Inputs.Impl.Boolean.var * Inputs.Impl.Boolean.var) ->
  (Inputs.Constant.t
   * Inputs.Constant.t
   * Inputs.Constant.t
   * Inputs.Constant.t) ->
  Inputs.Impl.Field.t * Inputs.Impl.Field.t

val pairs : 
  Inputs.Impl.Boolean.var list ->
  (Inputs.Impl.Boolean.var * Inputs.Impl.Boolean.var) list

type shifted = {

value : t;

shift : Inputs.Constant.t;

}

val unshift : shifted -> t

val multiscale_known : 
  (Inputs.Impl.Boolean.var list * Scaling_precomputation.t) Core_kernel.Array.t ->
  t

val scale_known : Scaling_precomputation.t -> Inputs.Impl.Boolean.var list -> t

val conditional_negation : 
  Inputs.Impl.Boolean.var ->
  ('a * Inputs.Impl.Field.t) ->
  'a * Inputs.Impl.Field.t

val p_plus_q_plus_p : t -> t -> Inputs.Impl.Field.t * Inputs.Impl.Field.t

val scale_fast : 
  (Inputs.Impl.Field.t * Inputs.F.t) ->
  [< `Plus_two_to_len_minus_1 of Inputs.Impl.Boolean.var Core_kernel.Array.t ] ->
  Inputs.F.t * Inputs.F.t

val (+) : 
  (Impls.Step.field Snarky_backendless.Cvar.t
   * Impls.Step.field Snarky_backendless.Cvar.t) ->
  (Impls.Step.field Snarky_backendless.Cvar.t
   * Impls.Step.field Snarky_backendless.Cvar.t) ->
  Impls.Step.field Snarky_backendless.Cvar.t
  * Impls.Step.field Snarky_backendless.Cvar.t

val double : 
  (Impls.Step.field Snarky_backendless.Cvar.t
   * Impls.Step.field Snarky_backendless.Cvar.t) ->
  Impls.Step.field Snarky_backendless.Cvar.t
  * Impls.Step.field Snarky_backendless.Cvar.t

val scale : t -> Inputs.Impl.Boolean.var list -> Inputs.F.t * Inputs.F.t

val to_field_elements : ('a * 'a) -> 'a list

val assert_equal : 
  (Impls.Step.Field.t * Impls.Step.Field.t) ->
  (Impls.Step.Field.t * Impls.Step.Field.t) ->
  unit

val scale_inv : t -> Inputs.Impl.Boolean.var list -> t

val negate : t -> t

val one : t

val if_ : Inputs.Impl.Boolean.var -> then_:t -> else_:t -> t