Module Plompiler.Gadget

module type HASH = sig ... end
module Anemoi128 : sig ... end
module AnemoiJive_128_1 (L : sig ... end) : sig ... end
module Poseidon128 : sig ... end
module Poseidon252 : sig ... end
module PoseidonFull : sig ... end
module Merkle (H : sig ... end) : sig ... end
module Merkle_narity : sig ... end
module JubjubEdwards (L : sig ... end) : sig ... end
module JubjubWeierstrass (L : sig ... end) : sig ... end
module Schnorr (H : sig ... end) : sig ... end
module Edwards25519 (L : sig ... end) : sig ... end
module Ed25519 : sig ... end
module Blake2s (L : sig ... end) : sig ... end
module ArithMod25519 (L : sig ... end) : sig ... end
module ArithMod64 (L : sig ... end) : sig ... end
module Sha256 (L : sig ... end) : sig ... end
module Sha512 (L : sig ... end) : sig ... end