- aliases: DisambiguateTypes.environment; (** disambiguation aliases *)
- proof_status: proof_status;
- options: options;
- objects: (UriManager.uri * string) list;
- (** in-scope objects, with their paths *)
+ aliases : DisambiguateTypes.environment;
+ moo_content_rev : string list;
+ proof_status : proof_status;
+ options : options;
+ objects : (UriManager.uri * string) list;
+ notation_ids: CicNotation.notation_id list;