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 string * t list
  13. | Closure of Ir.var list * Ir.computation * env
  14. | Primitive of string
  15. | Var of Var.var * Types.datatype Utility.StringMap.t
  16. | Constant of CommonTypes.Constant.t
and env = Value.env * t Env.Int.t
OCaml

Innovation. Community. Security.