links

The Links Programming Language
IN THIS PACKAGE
type state = Context.t
type 'a result =
| Result of {
program : 'a;
state : state;
}
val return : state -> 'a -> 'a result
val context : state -> Context.t
module type S = sig ... end
module Make : sig ... end