pub trait ExternalArchive:
Send
+ Sync
+ MathArchive
+ Any
+ Debug {
// Required method
fn load_document(
&self,
path: Option<&UriPath>,
name: &str,
language: Language,
) -> Option<Document>;
// Provided methods
fn local_out(&self) -> Option<&dyn LocallyBuilt> { ... }
fn buildable(&self) -> Option<&dyn BuildableArchive> { ... }
}