package links

  1. Overview
  2. Docs
module Lang : sig ... end
val unbox_xml : Lang.t -> Value.xmlitem
val used_database : Lang.t -> Value.database option
val string_of_t : Lang.t -> string
val type_of_expression : Lang.t -> Types.datatype
val default_of_base_type : CommonTypes.Primitive.t -> Lang.t
val value_of_expression : Lang.t -> Value.t
val labels_of_field_types : 'a Utility.StringMap.t -> Utility.StringSet.t
val table_field_types : Value.table -> Types.typ Utility.StringMap.t
val is_list : Lang.t -> bool
val sql_of_query : Lang.t -> Sql.query
type let_clause = Var.var * Lang.t * Var.var * Lang.t
type let_query = let_clause list
val sql_of_let_query : let_query -> Sql.query
module Eval : sig ... end
val compile_update : Value.database -> Value.env -> ((Ir.var * string * Types.datatype Utility.StringMap.t) * Ir.computation option * Ir.computation) -> string
val compile_delete : Value.database -> Value.env -> ((Ir.var * string * Types.datatype Utility.StringMap.t) * Ir.computation option) -> string
OCaml

Innovation. Community. Security.