Wayland_protocols.Xdg_decoration_unstable_v1_proto
module Zxdg_decoration_manager_v1 : sig ... end
module Zxdg_toplevel_decoration_v1 : sig ... end