Mavryk_protocol_environment_demo_counter.Blake2B
module type Name = sig ... end
module type PrefixedName = sig ... end
module Make_minimal (Name : Name) : S.MINIMAL_HASH
module type Register = sig ... end
module Make (Register : Register) (Name : PrefixedName) : S.HASH