links

The Links Programming Language
IN THIS PACKAGE
Module Links_core . Loader
type 'a result = {
program_ : 'a;
context : Context.t;
}
val load : Context.t -> string -> Sugartypes.program result