Up – odoc » odoc_examples » Odoc_examples » Expansion » Functors

Module `Expansion.Functors`

Demonstrates the expansion of functors

module type Argument = sig ... end

module type Result = sig ... end

module Functor (X : Argument) (Y : Argument) : Result