Weierstrass_checked_intf (snarky_curves.Snarky_curves.Weierstrass_checked

module Impl : Snarky_backendless.Snark_intf.S

type unchecked

type t

val typ : ( t, unchecked ) Impl.Typ.t

module Shifted : sig ... end

val negate : t -> t

val constant : unchecked -> t

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

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

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

val if_value : Impl.Boolean.var -> then_:unchecked -> else_:unchecked -> t

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

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

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

module Assert : sig ... end