Vrf_lib.Integrated
module Make (Impl : Snarky_backendless.Snark_intf.S) (Scalar : sig ... end) (Group : sig ... end) (Message : sig ... end) (Output_hash : sig ... end) : sig ... end