Lualib (u.d41c5bfe76f8cf34f5371d2727f99d4c.lua-ml.0.9.4.doc.lua-ml.Lualib)

Sourcemodule type USERTYPE = sig ... end

Sourcemodule type TYPEVIEW = sig ... end

Sourcemodule type COMBINED_CORE = sig ... end

Sourcemodule type COMBINED_VIEWS = sig ... end

Sourcemodule type COMBINED_TYPE = sig ... end

Sourcemodule type CORE = sig ... end

Sourcemodule type BARECODE = functor (C : CORE) -> sig ... end

Sourcemodule type USERCODE = sig ... end

Source

module WithType
  (T : USERTYPE)
  (L : BARECODE) : 
  USERCODE with type 'a userdata' = 'a T.t

Sourcemodule Combine : sig ... end

Source

module Lift
  (T : COMBINED_TYPE)
  (View : TYPEVIEW with type 'a t = 'a T.t) : 
  COMBINED_VIEWS
    with type 'a t = 'a View.combined
     and type 'a TV1.t = 'a T.TV1.t
     and type 'a TV2.t = 'a T.TV2.t
     and type 'a TV3.t = 'a T.TV3.t
     and type 'a TV4.t = 'a T.TV4.t
     and type 'a TV5.t = 'a T.TV5.t
     and type 'a TV6.t = 'a T.TV6.t
     and type 'a TV7.t = 'a T.TV7.t
     and type 'a TV8.t = 'a T.TV8.t
     and type 'a TV9.t = 'a T.TV9.t
     and type 'a TV10.t = 'a T.TV10.t

Sourcemodule Empty : sig ... end