module Library: sig
.. end
Registration of libraries
Author(s): Tony BenBrahim < tony.benbrahim at gmail.com >
val register_for_analysis : Environment.analysis_env -> Environment.analysis_env
Registers all library functions and params in an analysis environment
Returns a modified environment with all library functions registered
env
: analysis environment
val register_for_runtime : Environment.analysis_env -> Ast.runtime_env -> unit
Registers library functions into a runtime environment
Returns unit
env
: analysis environment from which definitions will be transferred
renv
: runtime environment into which definitions will be transferred