package lua-ml

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

Module Lib.WithTypeSource

Parameters

module T : USERTYPE
module L : BARECODE

Signature

Sourcetype 'a userdata' = 'a T.t
Sourcemodule M (C : CORE with type 'a V.userdata' = 'a userdata') : sig ... end