package links

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type 'a t

val pp : 
  (Ppx_deriving_runtime.Format.formatter -> 'a -> Ppx_deriving_runtime.unit) ->
  Ppx_deriving_runtime.Format.formatter ->
  'a t ->
  Ppx_deriving_runtime.unit

val show : 
  (Ppx_deriving_runtime.Format.formatter -> 'a -> Ppx_deriving_runtime.unit) ->
  'a t ->
  Ppx_deriving_runtime.string

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