package lua-ml

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

Parameters

module T1 : USERTYPE
module T2 : USERTYPE

Signature

include USERTYPE
type 'a t
val tname : string
val eq : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
val 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
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 T1.t
module TV2 : VIEW with type 'a t = 'a T2.t
module TV3 : VIEW
module TV4 : VIEW
module TV5 : VIEW
module TV6 : VIEW
module TV7 : VIEW
module TV8 : VIEW
module TV9 : VIEW
module TV10 : VIEW