links

The Links Programming Language
IN THIS PACKAGE
val generate_program : venv -> Ir.computation -> venv * code
val generate_stubs : Value.env -> Ir.binding list -> code -> code
val generate_toplevel_bindings : Value.env -> Json.json_state -> venv -> Ir.binding list -> Json.json_state * venv * string list * ( code -> code )
val wrap_with_server_lib_stubs : code -> code
val primitive_bindings : string