Up – Package index » lua-ml » Library lua-ml » Lualib » Combine » C4

Module `Combine.C4`Source

Parameters

module C1 : USERCODE

module C2 : USERCODE with type 'a userdata' = 'a C1.userdata'

module C3 : USERCODE with type 'a userdata' = 'a C1.userdata'

module C4 : USERCODE with type 'a userdata' = 'a C1.userdata'

Sourcetype 'a userdata' = 'a C1.userdata'

Sourcemodule M (C : CORE with type 'a V.userdata' = 'a userdata') : sig ... end