Workspace.Require
type t = {
library : string;
from : string option;
flags : Vernacexpr.export_with_cats option;
}