Module Mavryk_base.S

module type T = sig ... end
module type HASHABLE = sig ... end