Tezos_protocol_environment_008_PtEdo2Zk.Map
module type OrderedType = sig ... end
module Make (Ord : OrderedType) : sig ... end