links

The Links Programming Language
IN THIS PACKAGE
val show_compiled_ir : bool Settings.setting
type nenv = Var.var Env.String.t
type env = nenv * tenv * Types.row
val desugar_expression : env -> Sugartypes.phrase -> Ir.computation
val desugar_definitions : env -> Sugartypes.binding list -> Ir.binding list * nenv
val desugar_program : env -> Sugartypes.program -> Ir.binding list * Ir.computation * nenv
type result = {
globals : Ir.binding list;
program : Ir.program;
datatype : Types.datatype;
context : Context.t;
}