Docs GODI Archive
Projects Blog Link DB

Search GODI:


More options
File lib/ocaml/pkg-lib/lua-ml/luabaselib.mli GODI Package godi-lua-ml
Library lua-ml
 
   luabaselib.cmi_pretty    luabaselib.mli    Sources  

# 10 "luabaselib.nw"
module Add (MakeParser : Luaparser.MAKER) (I : Luainterp.S) : sig
  include Luainterp.S
  module Parser : Luaparser.S with type chunk = Ast.chunk
  val do_lexbuf : sourcename:string -> state -> Lexing.lexbuf -> value list
  val dostring  : state -> string -> value list
  val dofile    : state -> string -> value list
  val mk        : unit -> state  (* builds state and runs startup code *)
end with module Value = I.Value
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml