# requests

request destroy = 0 {
}

request feedback = 1 {
    surface: id(wl_surface),
    callback: id(wp_presentation_feedback),
}

# events

event clock_id = 0 {
    clk_id: u32,
}
