Wayland_protocols.Server_decoration_proto
module Org_kde_kwin_server_decoration_manager : sig ... end
module Org_kde_kwin_server_decoration : sig ... end