Module Library


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