jon.recoil.org

Module Resolution.Fragments

Demonstrates the resolution of fragments

module type A = sig ... end
module C : Odoc_examples.Resolution.Fragments.A with type B.t = int
module D : module type of Odoc_examples.Resolution.Fragments.C.B with type t := int