T10 (p.lua-ml.0.9.4.doc.lua-ml.Lualib.Combine.T10)

Parameters

module T1 : USERTYPE

module T2 : USERTYPE

module T3 : USERTYPE

module T4 : USERTYPE

module T5 : USERTYPE

module T6 : USERTYPE

module T7 : USERTYPE

module T8 : USERTYPE

module T9 : USERTYPE

module T10 : USERTYPE

Signature

include USERTYPE

Sourcetype 'a t

Sourceval tname : string

Sourceval eq : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool

Sourceval to_string : ('a -> string) -> 'a t -> string

include COMBINED_CORE
  with type 'a also_t = 'a t
  with type 'a TV1.t = 'a T1.t
  with type 'a TV2.t = 'a T2.t
  with type 'a TV3.t = 'a T3.t
  with type 'a TV4.t = 'a T4.t
  with type 'a TV5.t = 'a T5.t
  with type 'a TV6.t = 'a T6.t
  with type 'a TV7.t = 'a T7.t
  with type 'a TV8.t = 'a T8.t
  with type 'a TV9.t = 'a T9.t
  with type 'a TV10.t = 'a T10.t

Sourcetype 'a also_t = 'a t

Sourcemodule type VIEW = TYPEVIEW with type 'a combined = 'a also_t

Sourcemodule TV1 : VIEW with type 'a t = 'a T1.t

Sourcemodule TV2 : VIEW with type 'a t = 'a T2.t

Sourcemodule TV3 : VIEW with type 'a t = 'a T3.t

Sourcemodule TV4 : VIEW with type 'a t = 'a T4.t

Sourcemodule TV5 : VIEW with type 'a t = 'a T5.t

Sourcemodule TV6 : VIEW with type 'a t = 'a T6.t

Sourcemodule TV7 : VIEW with type 'a t = 'a T7.t

Sourcemodule TV8 : VIEW with type 'a t = 'a T8.t

Sourcemodule TV9 : VIEW with type 'a t = 'a T9.t

Sourcemodule TV10 : VIEW with type 'a t = 'a T10.t