package lua-ml

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

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

Signature

type 'a userdata' = 'a C1.userdata'
module M (C : CORE with type 'a V.userdata' = 'a userdata') : sig ... end