package apron

  1. Overview
  2. Docs
type t = {
  1. mutable tcons0 : Tcons0.t;
  2. mutable env : Environment.t;
}
and earray = {
  1. mutable tcons0_array : Tcons0.t array;
  2. mutable array_env : Environment.t;
}
type typ = Lincons0.typ =
  1. | EQ
  2. | SUPEQ
  3. | SUP
  4. | DISEQ
  5. | EQMOD of Scalar.t
val make : Texpr1.t -> typ -> t
val copy : t -> t
val string_of_typ : typ -> string
val print : Format.formatter -> t -> unit
val get_typ : t -> typ
val set_typ : t -> typ -> unit
val extend_environment : t -> Environment.t -> t
val extend_environment_with : t -> Environment.t -> unit
val get_env : t -> Environment.t
val get_texpr1 : t -> Texpr1.t
val get_tcons0 : t -> Tcons0.t
val array_make : Environment.t -> int -> earray
val array_print : ?first:(unit, Format.formatter, unit) Pervasives.format -> ?sep:(unit, Format.formatter, unit) Pervasives.format -> ?last:(unit, Format.formatter, unit) Pervasives.format -> Format.formatter -> earray -> unit
val array_length : earray -> int
val array_get_env : earray -> Environment.t
val array_get : earray -> int -> t
val array_set : earray -> int -> t -> unit
val array_extend_environment : earray -> Environment.t -> earray
val array_extend_environment_with : earray -> Environment.t -> unit
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct