links

The Links Programming Language
IN THIS PACKAGE
type state = {
context : Context.t;
primitive_vars : Utility.IntSet.t;
datatype : Types.datatype;
}
type result =
| Result of {
state : state;
program : Ir.program;
}
val context : state -> Context.t
val return : state -> Ir.program -> result
val with_type : Types.datatype -> state -> state
module type S = sig ... end
class virtual ir_transformer : object ... end
module Make (T : sig ... end) : S