Module Functors.Functor

Parameters

module X : Argument
module Y : Argument

Signature

type r

This type r is declared in the Result module type