Checked (signature_lib.Signature_lib.Schnorr.Make.2-Curve.Checked)

type t = var

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

module Shifted : sig ... end

val negate : t -> t

val constant : t -> 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_:t -> else_:t -> 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 ->
  t ->
  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