links

The Links Programming Language
IN THIS PACKAGE
Module type Links_core . Transform . TYPEABLE
type state = {
datatype : Types.datatype;
context : Context.t;
}
type 'a result =
| Result of {
program : 'a;
state : state;
}
val return : state -> 'a -> 'a result
val with_type : Types.datatype option -> state -> state
val context : state -> Context.t
module type S = sig ... end
class virtual sugar_transformer : object ... end
module Make (T : sig ... end) : sig ... end