links

The Links Programming Language
IN THIS PACKAGE
Module Links_core . Frontend
type 'a result = {
program : 'a;
datatype : Types.datatype;
context : Context.t;
}