sig
  type t = {
    mutable tcons0 : Apron.Tcons0.t;
    mutable env : Apron.Environment.t;
  }
  and earray = {
    mutable tcons0_array : Apron.Tcons0.t array;
    mutable array_env : Apron.Environment.t;
  }
  type typ =
    Apron.Lincons0.typ =
      EQ
    | SUPEQ
    | SUP
    | DISEQ
    | EQMOD of Apron.Scalar.t
  val make : Apron.Texpr1.t -> Apron.Tcons1.typ -> Apron.Tcons1.t
  val copy : Apron.Tcons1.t -> Apron.Tcons1.t
  val string_of_typ : Apron.Tcons1.typ -> string
  val print : Format.formatter -> Apron.Tcons1.t -> unit
  val get_typ : Apron.Tcons1.t -> Apron.Tcons1.typ
  val set_typ : Apron.Tcons1.t -> Apron.Tcons1.typ -> unit
  external extend_environment :
    Apron.Tcons1.t -> Apron.Environment.t -> Apron.Tcons1.t
    = "camlidl_tcons1_ap_tcons1_extend_environment"
  external extend_environment_with :
    Apron.Tcons1.t -> Apron.Environment.t -> unit
    = "camlidl_tcons1_ap_tcons1_extend_environment_with"
  val get_env : Apron.Tcons1.t -> Apron.Environment.t
  val get_texpr1 : Apron.Tcons1.t -> Apron.Texpr1.t
  val get_tcons0 : Apron.Tcons1.t -> Apron.Tcons0.t
  val array_make : Apron.Environment.t -> int -> Apron.Tcons1.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 -> Apron.Tcons1.earray -> unit
  val array_length : Apron.Tcons1.earray -> int
  val array_get_env : Apron.Tcons1.earray -> Apron.Environment.t
  val array_get : Apron.Tcons1.earray -> int -> Apron.Tcons1.t
  val array_set : Apron.Tcons1.earray -> int -> Apron.Tcons1.t -> unit
  external array_extend_environment :
    Apron.Tcons1.earray -> Apron.Environment.t -> Apron.Tcons1.earray
    = "camlidl_tcons1_ap_tcons1_array_extend_environment"
  external array_extend_environment_with :
    Apron.Tcons1.earray -> Apron.Environment.t -> unit
    = "camlidl_tcons1_ap_tcons1_array_extend_environment_with"
end