Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package asak
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val parsetree_of_string : string -> Parsetree.structure Monad_error.ErrS.tIf the string is a valid OCaml code, return its parsetree.
val init_env : unit -> Env.tInitial typing envrionement, maybe with an other openened library.
val type_with_init :
Parsetree.structure ->
Typedtree.structure Monad_error.ErrS.tTypecheck a parsetree with the initial environement.
val has_name : string -> Typedtree.value_binding -> boolCheck if a value_binding is a variable with the given name.
val get_specific_lambda_of_typedtree :
string ->
Typedtree.structure ->
Lambda.lambda Monad_error.ErrS.tExtract a specific let binding in a typedtree, and transform it into a lambda expression.
val find_let_in_parsetree_items :
string ->
Parsetree.structure ->
Parsetree.structure_item optionFind a specific toplevel let-definition.
val read_structure_with_loc :
?prefix:string ->
Typedtree.structure ->
((string * Location.t) * Lambda.lambda) listReturn all let bindings of a typedtree converted in lambda expression plus its location.
val read_structure :
?prefix:string ->
Typedtree.structure ->
(string * Lambda.lambda) listReturn all let bindings of a typedtree converted in lambda expressions.
val read_string : string -> (string * Lambda.lambda) listRead a valid OCaml fragment and compile every toplevel definitions to Lambda.