package lua-ml

  1. Overview
  2. Docs
package lua-ml
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module T : COMBINED_TYPE
module View : TYPEVIEW with type 'a t = 'a T.t

Signature

type 'a t = 'a View.combined
include COMBINED_CORE with type 'a also_t = 'a t with type 'a TV1.t = 'a T.TV1.t with type 'a TV2.t = 'a T.TV2.t with type 'a TV3.t = 'a T.TV3.t with type 'a TV4.t = 'a T.TV4.t with type 'a TV5.t = 'a T.TV5.t with type 'a TV6.t = 'a T.TV6.t with type 'a TV7.t = 'a T.TV7.t with type 'a TV8.t = 'a T.TV8.t with type 'a TV9.t = 'a T.TV9.t with type 'a TV10.t = 'a T.TV10.t
type 'a also_t = 'a t
module type VIEW = TYPEVIEW with type 'a combined = 'a also_t
module TV1 : VIEW with type 'a t = 'a T.TV1.t
module TV2 : VIEW with type 'a t = 'a T.TV2.t
module TV3 : VIEW with type 'a t = 'a T.TV3.t
module TV4 : VIEW with type 'a t = 'a T.TV4.t
module TV5 : VIEW with type 'a t = 'a T.TV5.t
module TV6 : VIEW with type 'a t = 'a T.TV6.t
module TV7 : VIEW with type 'a t = 'a T.TV7.t
module TV8 : VIEW with type 'a t = 'a T.TV8.t
module TV9 : VIEW with type 'a t = 'a T.TV9.t
module TV10 : VIEW with type 'a t = 'a T.TV10.t