package links

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type t = IrValue.env

val create : 'a -> 'a * 'b Env.Int.t

val of_value_env : 'a -> 'a * 'b Env.Int.t

val append : 
  ('a Value.Env.t * 'b Env.Int.t) ->
  ('a Value.Env.t * 'b Env.Int.t) ->
  'a Value.Env.t * 'b Env.Int.t

val lookup_fun : (Var.var * Value.t option) -> IrValue.t option

val find_fun : (Var.var * Value.t option) -> IrValue.t

val expression_of_value : Value.t -> IrValue.t

val peek_fun_bind : Var.var -> Var.var option

val lookup : 
  (Value.t Value.Env.t * IrValue.t LEnv.Int.t) ->
  Var.var ->
  IrValue.t

val bind : ('a * 'b Env.Int.t) -> (Env.Int.name * 'b) -> 'a * 'b Env.Int.t