package links

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val query_bindings_of_env : QueryLang.env -> (Var.var * QueryLang.t) list

val computation : QueryLang.env -> Ir.computation -> QueryLang.t

val contains_free : Var.var list -> QueryLang.t -> bool

val norm : QueryLang.env -> QueryLang.t -> QueryLang.t

val eval : 
  CommonTypes.QueryPolicy.t ->
  Value.t Value.Env.t ->
  Ir.computation ->
  QueryLang.t