(** * Pseudonatural Transformations *) (** ** Definition of pseudonatural transformations *) Require PseudonaturalTransformation.Core.[Loading ML file number_string_notation_plugin.cmxs (using legacy method) ... done] Include PseudonaturalTransformation.Core.
[Loading ML file number_string_notation_plugin.cmxs (using legacy method) ... done]