Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Asak.Parse_structure
val parsetree_of_string : string -> Parsetree.structure Monad_error.ErrS.t
If string is a valid OCaml code, return its parsetree.
Initial typing envrionement, maybe with an other openened library.
val type_with_init :
?to_open:string ->
Parsetree.structure ->
Typedtree.structure Monad_error.ErrS.t
Typecheck a parsetree with the initial environement.
Check 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.t
Extract a specific let binding in a typedtree, and transform it in a lambda expression.
Find a specific toplevel let-definition.