Checked (snark_params.Snark_params.Tock.Inner

type t = Fq.t * Fq.t

val typ : ( t, Pasta_bindings.Vesta.t ) Fq.Impl.Typ.t

module Shifted : sig ... end

val negate : t -> t

val constant : Pasta_bindings.Vesta.t -> t

val add_unsafe : 
  t ->
  t ->
  [ `I_thought_about_this_very_carefully of t ] Fq.Impl.Checked.t

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

val double : t -> t Fq.Impl.Checked.t

val if_value : 
  Fq.Impl.Boolean.var ->
  then_:Pasta_bindings.Vesta.t ->
  else_:Pasta_bindings.Vesta.t ->
  t

val scale : 
  's Shifted.m ->
  t ->
  Fq.Impl.Boolean.var Bitstring_lib.Bitstring.Lsb_first.t ->
  init:'s ->
  's Fq.Impl.Checked.t

val scale_known : 
  's Shifted.m ->
  Pasta_bindings.Vesta.t ->
  Fq.Impl.Boolean.var Bitstring_lib.Bitstring.Lsb_first.t ->
  init:'s ->
  's Fq.Impl.Checked.t

val sum : 's Shifted.m -> t list -> init:'s -> 's Fq.Impl.Checked.t

module Assert : sig ... end

val add_known_unsafe : 
  t ->
  Pasta_bindings.Vesta.t ->
  [ `I_thought_about_this_very_carefully of t ] Fq.Impl.Checked.t