package links

  1. Overview
  2. Docs
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
OCaml

Innovation. Community. Security.