Integrated.Make
module Impl : Snarky_backendless.Snark_intf.S
module Scalar : sig ... end
module Group : sig ... end
module Message : sig ... end
module Output_hash : sig ... end
val eval :
constraint_constants:Genesis_constants.Constraint_constants.t ->
private_key:Scalar.value ->
Message.value ->
Output_hash.t
module Checked : sig ... end