pub trait DavPushExtension {
// Required method
fn get_topic(&self) -> String;
// Provided methods
fn supported_triggers(&self) -> SupportedTriggers { ... }
fn get_prop(
&self,
prop: &DavPushExtensionPropName,
) -> Result<DavPushExtensionProp, Error> { ... }
fn set_prop(&self, _prop: DavPushExtensionProp) -> Result<(), Error> { ... }
fn remove_prop(&self, _prop: &DavPushExtensionPropName) -> Result<(), Error> { ... }
}