links

The Links Programming Language
IN THIS PACKAGE
Module Links_core . Backend
type result = {
program : Ir.program;
datatype : Types.datatype;
context : Context.t;
}
val program : Context.t -> Types.datatype -> Ir.program -> result