Dep7(3)

Name
Ocamlary.Dep7

Synopsis

Module Ocamlary.Dep7

Documentation

1 Parameters

module Arg : sig
module type S

module type T = sig
module type R = S

module Y : R
end

module X : sig
module type R = S

module Y : R
end
end

2 Signature

module M : Arg.T