package links

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

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

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

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

val xlate : QueryLang.env -> Ir.value -> QueryLang.t