Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val value_of_expr :
Jg_types.environment ->
Jg_types.context ->
Jg_types.expression ->
Jg_types.tvalue
val apply_name_of : Jg_types.expression -> string
val ident_names_of : Jg_types.expression list -> string list
val ident_names_of_def : Jg_types.arguments -> Jg_types.macro_arg_names
val nargs_of :
Jg_types.environment ->
Jg_types.context ->
(string option * Jg_types.expression) list ->
Jg_types.tvalue list
val kwargs_of_app :
Jg_types.environment ->
Jg_types.context ->
(string option * Jg_types.expression) list ->
Jg_types.kwargs
val kwargs_of_def :
Jg_types.environment ->
Jg_types.context ->
Jg_types.arguments ->
Jg_types.macro_defaults
val eval_macro :
Jg_types.environment ->
Jg_types.context ->
string ->
Jg_types.tvalue list ->
Jg_types.kwargs ->
Jg_types.macro ->
Jg_types.context
val is_safe_expr : Jg_types.expression -> bool
val eval_statement :
Jg_types.environment ->
Jg_types.context ->
Jg_types.statement ->
Jg_types.context
val unfold_extends : Jg_types.environment -> Jg_types.ast -> Jg_types.ast
val replace_blocks : Jg_types.ast -> Jg_types.ast
val get_file_path : Jg_types.environment -> string -> string
val init_context :
?env:Jg_types.environment ->
?models:Jg_types.frame ->
output:(Jg_types.tvalue -> unit) ->
unit ->
Jg_types.context
val ast_from_lexbuf : string option -> Lexing.lexbuf -> Jg_types.ast
val error : string -> Lexing.lexbuf -> Jg_types.ast
val ast_from_chan : string option -> in_channel -> Jg_types.ast
val ast_from_file : env:Jg_types.environment -> string -> Jg_types.ast
val ast_from_string : string -> Jg_types.ast
val extract_macros :
Jg_types.environment ->
Jg_types.ast ->
Jg_types.ast * (Jg_types.context -> string * Jg_types.macro) list
module Loaded : sig ... end
val select_context :
?env:Jg_types.environment ->
models:Jg_types.frame ->
output:(Jg_types.tvalue -> unit) ->
Jg_types.context option ->
Jg_types.context
val from_file :
?env:Jg_types.environment ->
?models:(string * Jg_types.tvalue) list ->
output:(Jg_types.tvalue -> unit) ->
?ctx:Jg_types.context ->
string ->
unit
val from_string :
?env:Jg_types.environment ->
?models:(string * Jg_types.tvalue) list ->
?file_path:'a ->
output:(Jg_types.tvalue -> unit) ->
?ctx:Jg_types.context ->
string ->
unit
val from_chan :
?env:Jg_types.environment ->
?models:(string * Jg_types.tvalue) list ->
?file_path:string ->
output:(Jg_types.tvalue -> unit) ->
?ctx:Jg_types.context ->
in_channel ->
unit
module RevicedApi : sig ... end