Schnorr (signature_lib.Signature

module Bignum_bigint = Bigint

module type Message_intf = sig ... end

module type S = sig ... end

module Make
  (Impl : Snarky_backendless.Snark_intf.S)
  (Curve : sig ... end)
  (Message : 
    Message_intf
      with type boolean_var := Impl.Boolean.var
       and type curve_scalar_var := Curve.Scalar.var
       and type curve_scalar := Curve.Scalar.t
       and type curve := Curve.t
       and type curve_var := Curve.var
       and type field := Impl.Field.t
       and type field_var := Impl.Field.Var.t
       and type 'a checked := 'a Impl.Checked.t) : 
  S
    with module Impl := Impl
     and type curve := Curve.t
     and type curve_var := Curve.var
     and type curve_scalar := Curve.Scalar.t
     and type curve_scalar_var := Curve.Scalar.var
     and module Shifted := Curve.Checked.Shifted
     and module Message := Message

module Message : sig ... end

module Legacy : sig ... end

module Chunked : sig ... end

val gen_legacy : 
  (Snark_params.Tick.Inner_curve.Scalar.t
   * ( Snark_params.Tick.Field.t, bool ) Random_oracle.Input.Legacy.t)
    Core_kernel__Quickcheck.Generator.t

val gen_chunked : 
  (Snark_params.Tick.Inner_curve.Scalar.t
   * Snark_params.Tick.Field.t Random_oracle.Input.Chunked.t)
    Core_kernel__Quickcheck.Generator.t

val legacy_message_typ : 
  unit ->
  ( Message.Legacy.var, Message.Legacy.t ) Snark_params.Tick.Typ.t

val chunked_message_typ : 
  unit ->
  ( Message.Chunked.var, Message.Chunked.t ) Snark_params.Tick.Typ.t