Tezos_protocol_environment_012_Psithaca.Map
module type S = sig ... end
module Make (Ord : Compare.COMPARABLE) : sig ... end