links

The Links Programming Language
IN THIS PACKAGE
Module Links_core . Value . Env
type 'a t
val set_request_data : 'a t -> RequestData.request_data -> 'a t
val request_data : 'a t -> RequestData.request_data
val empty : 'a t
val bind : Ir.var -> ('a * Ir.scope) -> 'a t -> 'a t
val find : Ir.var -> 'a t -> 'a
val mem : Ir.var -> 'a t -> bool
val lookup : Ir.var -> 'a t -> 'a option
val lookupS : Ir.var -> 'a t -> ('a * Ir.scope) option
val shadow : 'a t -> by:'a t -> 'a t
val fold : ( Ir.var -> ('a * Ir.scope) -> 'b -> 'b ) -> 'a t -> 'b -> 'b
val globals : 'a t -> 'a t
val get_parameters : 'a t -> ('a * Ir.scope) Utility.intmap
val extend : 'a t -> ('a * Ir.scope) Utility.intmap -> 'a t
val localise : 'a t -> Ir.var -> 'a t