Vrf_lib.Standalonemodule Context : sig ... endmodule Evaluation : sig ... endmodule Make
(Impl : Snarky_backendless.Snark_intf.S)
(Scalar : sig ... end)
(Group : sig ... end)
(Message : sig ... end)
(Output_hash : sig ... end)
(Hash : sig ... end) :
sig ... endmodule Bigint_scalar
(Impl : Snarky_backendless.Snark_intf.S)
(M : sig ... end) :
sig ... end