(** * Profunctors *)
Require Export Profunctor.Notations.
[Loading ML file number_string_notation_plugin.cmxs (using legacy method) ... done]

(** ** Definition *)
Require Profunctor.Core.
(** ** Identity Profunctor *)
Require Profunctor.Identity.
(** ** Representable Profunctors *)
Require Profunctor.Representable.

Include Profunctor.Core.
Include Profunctor.Representable.
Include Profunctor.Identity.