package links

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

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

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

val eta_expand_var : (Var.var * Types.datatype Utility.StringMap.t) -> Lang.t

val computation : 
  (Value.t Value.Env.t * Lang.t Env.Int.t) ->
  Ir.computation ->
  Lang.t

val reduce_where_then : (Lang.t * Lang.t) -> Lang.t

val reduce_and : (Lang.t * Lang.t) -> Lang.t

val eval : Value.t Value.Env.t -> Ir.computation -> Lang.t