package links

  1. Overview
  2. Docs
type base_type =
  1. | Bool
  2. | Char
  3. | Float
  4. | Int
  5. | String
type tag = int
type t =
  1. | For of tag option * (Var.var * t) list * t list * t
  2. | If of t * t * t
  3. | Table of Value.table
  4. | Database of Value.database * string
  5. | Singleton of t
  6. | Concat of t list
  7. | Record of t Utility.StringMap.t
  8. | Project of t * string
  9. | Erase of t * Utility.StringSet.t
  10. | Variant of string * t
  11. | XML of Value.xmlitem
  12. | Apply of t * t list
  13. | Closure of Var.var list * Ir.computation * env
  14. | Case of t * (Var.binder * t) Utility.StringMap.t * (Var.binder * t) option
  15. | Primitive of string
  16. | Var of Var.var * Types.datatype Utility.StringMap.t
  17. | Constant of CommonTypes.Constant.t
and env = {
  1. venv : Value.env;
  2. qenv : t Env.Int.t;
  3. policy : CommonTypes.QueryPolicy.t;
}
val reduce_where_then : (t * t) -> t
val reduce_and : (t * t) -> t
OCaml

Innovation. Community. Security.