Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type t =
Jg_types.environment
* Jg_types.ast
* (Jg_types.context -> string * Jg_types.macro) list
val load_aux :
env:Jg_types.environment ->
Jg_types.ast ->
Jg_types.environment
* Jg_types.ast
* (Jg_types.context -> string * Jg_types.macro) list
val from_file :
?env:Jg_types.environment ->
string ->
Jg_types.environment
* Jg_types.ast
* (Jg_types.context -> string * Jg_types.macro) list
val from_string :
?env:Jg_types.environment ->
?file_path:'a ->
string ->
Jg_types.environment
* Jg_types.ast
* (Jg_types.context -> string * Jg_types.macro) list
val from_chan :
?env:Jg_types.environment ->
?file_path:string ->
in_channel ->
Jg_types.environment
* Jg_types.ast
* (Jg_types.context -> string * Jg_types.macro) list
val eval_aux :
(Jg_types.environment
* Jg_types.statement list
* (Jg_types.context -> string * Jg_types.macro) list) ->
ctx:Jg_types.context ->
unit
val eval :
(Jg_types.environment
* Jg_types.statement list
* (Jg_types.context -> string * Jg_types.macro) list) ->
?models:(string * Jg_types.tvalue) list ->
output:(Jg_types.tvalue -> unit) ->
?ctx:Jg_types.context ->
unit ->
unit