links

The Links Programming Language
IN THIS PACKAGE
Parameter #1 Links_core . Page . Make_RealPage . C
val generate_program : Irtojs.venv -> Ir.computation -> Irtojs.venv * Irtojs.code
val generate_stubs : Value.env -> Ir.binding list -> Irtojs.code -> Irtojs.code
val generate_toplevel_bindings : Value.env -> Json.json_state -> Irtojs.venv -> Ir.binding list -> Json.json_state * Irtojs.venv * string list * ( Irtojs.code -> Irtojs.code )
val wrap_with_server_lib_stubs : Irtojs.code -> Irtojs.code
val primitive_bindings : string