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

Source

module T10
  (T1 : USERTYPE)
  (T2 : USERTYPE)
  (T3 : USERTYPE)
  (T4 : USERTYPE)
  (T5 : USERTYPE)
  (T6 : USERTYPE)
  (T7 : USERTYPE)
  (T8 : USERTYPE)
  (T9 : USERTYPE)
  (T10 : USERTYPE) : 
  COMBINED_TYPE
    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

Sourcemodule T1 (T1 : USERTYPE) : COMBINED_TYPE with type 'a TV1.t = 'a T1.t

Source

module T2
  (T1 : USERTYPE)
  (T2 : USERTYPE) : 
  COMBINED_TYPE with type 'a TV1.t = 'a T1.t with type 'a TV2.t = 'a T2.t

Source

module T3
  (T1 : USERTYPE)
  (T2 : USERTYPE)
  (T3 : USERTYPE) : 
  COMBINED_TYPE
    with type 'a TV1.t = 'a T1.t
    with type 'a TV2.t = 'a T2.t
    with type 'a TV3.t = 'a T3.t

Source

module T4
  (T1 : USERTYPE)
  (T2 : USERTYPE)
  (T3 : USERTYPE)
  (T4 : USERTYPE) : 
  COMBINED_TYPE
    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

Source

module T5
  (T1 : USERTYPE)
  (T2 : USERTYPE)
  (T3 : USERTYPE)
  (T4 : USERTYPE)
  (T5 : USERTYPE) : 
  COMBINED_TYPE
    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

Source

module T6
  (T1 : USERTYPE)
  (T2 : USERTYPE)
  (T3 : USERTYPE)
  (T4 : USERTYPE)
  (T5 : USERTYPE)
  (T6 : USERTYPE) : 
  COMBINED_TYPE
    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

Source

module T7
  (T1 : USERTYPE)
  (T2 : USERTYPE)
  (T3 : USERTYPE)
  (T4 : USERTYPE)
  (T5 : USERTYPE)
  (T6 : USERTYPE)
  (T7 : USERTYPE) : 
  COMBINED_TYPE
    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

Source

module T8
  (T1 : USERTYPE)
  (T2 : USERTYPE)
  (T3 : USERTYPE)
  (T4 : USERTYPE)
  (T5 : USERTYPE)
  (T6 : USERTYPE)
  (T7 : USERTYPE)
  (T8 : USERTYPE) : 
  COMBINED_TYPE
    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

Source

module T9
  (T1 : USERTYPE)
  (T2 : USERTYPE)
  (T3 : USERTYPE)
  (T4 : USERTYPE)
  (T5 : USERTYPE)
  (T6 : USERTYPE)
  (T7 : USERTYPE)
  (T8 : USERTYPE)
  (T9 : USERTYPE) : 
  COMBINED_TYPE
    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

Source

module C10
  (C1 : USERCODE)
  (C2 : USERCODE with type 'a userdata' = 'a C1.userdata')
  (C3 : USERCODE with type 'a userdata' = 'a C1.userdata')
  (C4 : USERCODE with type 'a userdata' = 'a C1.userdata')
  (C5 : USERCODE with type 'a userdata' = 'a C1.userdata')
  (C6 : USERCODE with type 'a userdata' = 'a C1.userdata')
  (C7 : USERCODE with type 'a userdata' = 'a C1.userdata')
  (C8 : USERCODE with type 'a userdata' = 'a C1.userdata')
  (C9 : USERCODE with type 'a userdata' = 'a C1.userdata')
  (C10 : USERCODE with type 'a userdata' = 'a C1.userdata') : 
  USERCODE with type 'a userdata' = 'a C1.userdata'

Sourcemodule C1 (C1 : USERCODE) : USERCODE with type 'a userdata' = 'a C1.userdata'

Source

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

Source

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

Source

module C4
  (C1 : USERCODE)
  (C2 : USERCODE with type 'a userdata' = 'a C1.userdata')
  (C3 : USERCODE with type 'a userdata' = 'a C1.userdata')
  (C4 : USERCODE with type 'a userdata' = 'a C1.userdata') : 
  USERCODE with type 'a userdata' = 'a C1.userdata'

Source

module C5
  (C1 : USERCODE)
  (C2 : USERCODE with type 'a userdata' = 'a C1.userdata')
  (C3 : USERCODE with type 'a userdata' = 'a C1.userdata')
  (C4 : USERCODE with type 'a userdata' = 'a C1.userdata')
  (C5 : USERCODE with type 'a userdata' = 'a C1.userdata') : 
  USERCODE with type 'a userdata' = 'a C1.userdata'

Source

module C6
  (C1 : USERCODE)
  (C2 : USERCODE with type 'a userdata' = 'a C1.userdata')
  (C3 : USERCODE with type 'a userdata' = 'a C1.userdata')
  (C4 : USERCODE with type 'a userdata' = 'a C1.userdata')
  (C5 : USERCODE with type 'a userdata' = 'a C1.userdata')
  (C6 : USERCODE with type 'a userdata' = 'a C1.userdata') : 
  USERCODE with type 'a userdata' = 'a C1.userdata'

Source

module C7
  (C1 : USERCODE)
  (C2 : USERCODE with type 'a userdata' = 'a C1.userdata')
  (C3 : USERCODE with type 'a userdata' = 'a C1.userdata')
  (C4 : USERCODE with type 'a userdata' = 'a C1.userdata')
  (C5 : USERCODE with type 'a userdata' = 'a C1.userdata')
  (C6 : USERCODE with type 'a userdata' = 'a C1.userdata')
  (C7 : USERCODE with type 'a userdata' = 'a C1.userdata') : 
  USERCODE with type 'a userdata' = 'a C1.userdata'

Source

module C8
  (C1 : USERCODE)
  (C2 : USERCODE with type 'a userdata' = 'a C1.userdata')
  (C3 : USERCODE with type 'a userdata' = 'a C1.userdata')
  (C4 : USERCODE with type 'a userdata' = 'a C1.userdata')
  (C5 : USERCODE with type 'a userdata' = 'a C1.userdata')
  (C6 : USERCODE with type 'a userdata' = 'a C1.userdata')
  (C7 : USERCODE with type 'a userdata' = 'a C1.userdata')
  (C8 : USERCODE with type 'a userdata' = 'a C1.userdata') : 
  USERCODE with type 'a userdata' = 'a C1.userdata'

Source

module C9
  (C1 : USERCODE)
  (C2 : USERCODE with type 'a userdata' = 'a C1.userdata')
  (C3 : USERCODE with type 'a userdata' = 'a C1.userdata')
  (C4 : USERCODE with type 'a userdata' = 'a C1.userdata')
  (C5 : USERCODE with type 'a userdata' = 'a C1.userdata')
  (C6 : USERCODE with type 'a userdata' = 'a C1.userdata')
  (C7 : USERCODE with type 'a userdata' = 'a C1.userdata')
  (C8 : USERCODE with type 'a userdata' = 'a C1.userdata')
  (C9 : USERCODE with type 'a userdata' = 'a C1.userdata') : 
  USERCODE with type 'a userdata' = 'a C1.userdata'