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_narity : sig ... end
module JubjubEdwards (L : sig ... end) : sig ... end
module JubjubWeierstrass (L : sig ... end) : sig ... end
module Edwards25519 (L : sig ... end) : sig ... end
module Ed25519 : sig ... end
module ArithMod25519 (L : sig ... end) : sig ... end
module ArithMod64 (L : sig ... end) : sig ... end