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'

Signature

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

Innovation. Community. Security.