Module Wayland_protocols.Drm_proto

module Wl_drm : sig ... end