import interface PresentationState;
interface DocumentNavigation id "document-navigation" revision "document-navigation@1" requires PresentationState {
  queryable value compact id "document-navigation:compact" : bool {
    get id "document-navigation:compact:get" execution snapshot;
    set id "document-navigation:compact:set" execution transaction;
  }
}