Functor2(3)

Name
Functor2

Synopsis

Module Functor2

Documentation

module type S = sig
type t
end

module X (Y : S) (Z : S) : sig ... end

module type XF = sig

1.1 Parameters

module Y : sig
type t
end

module Z : sig
type t
end

1.2 Signature

type y_t = Y.t

type z_t = Z.t

type x_t = y_t
end