Module Functors.Functor

Parameters

module X : Argument
module Y : Argument

Signature

type r