(** * Initial and terminal category notations *)
Require InitialTerminalCategory.Functors.
[Loading ML file number_string_notation_plugin.cmxs (using legacy method) ... done]
Require InitialTerminalCategory.Pseudofunctors.

Export InitialTerminalCategory.Functors.InitialTerminalCategoryFunctorsNotations.
Export InitialTerminalCategory.Pseudofunctors.InitialTerminalCategoryPseudofunctorsNotations.