jon.recoil.org

Module Expansion.Functors

Demonstrates the expansion of functors

module type Argument = sig ... end
module type Result = sig ... end