Lua (p.lua-ml.0.9.4.doc.lua-ml.Lua)

Sourcemodule type VALUE = sig ... end

Sourcemodule type USERDATA = sig ... end

Sourcemodule type AST = Luaast.S

Sourcemodule Parser : sig ... end

Sourcemodule Lib : sig ... end

Sourcemodule type EVALUATOR = sig ... end

module MakeEval
  (T : Lib.USERTYPE)
  (L : Lib.USERCODE with type 'a userdata' = 'a T.t) : 
  EVALUATOR with type 'a Value.userdata' = 'a T.t

Sourcemodule Empty : sig ... end

Sourcemodule type INTERP = sig ... end

module MakeInterp
  (MakeParser : Parser.MAKER)
  (I : EVALUATOR) : 
  INTERP with module Value = I.Value

Sourcemodule Run (I : INTERP) : sig ... end