Functors.Functor
module X : Odoc_examples.Expansion.Functors.Argument
module Y : Odoc_examples.Expansion.Functors.Argument
type r
This type r is declared in the Result module type
r