sig
  type 'a t = {
    mutable abstract0 : 'a Apron.Abstract0.t;
    mutable env : Apron.Environment.t;
  }
  type box1 = {
    mutable interval_array : Apron.Interval.t array;
    mutable box1_env : Apron.Environment.t;
  }
  val copy :
    'a Apron.Manager.t -> 'a Apron.Abstract1.t -> 'a Apron.Abstract1.t
  val size : 'a Apron.Manager.t -> 'a Apron.Abstract1.t -> int
  val minimize : 'a Apron.Manager.t -> 'a Apron.Abstract1.t -> unit
  val canonicalize : 'a Apron.Manager.t -> 'a Apron.Abstract1.t -> unit
  val hash : 'a Apron.Manager.t -> 'a Apron.Abstract1.t -> int
  val approximate : 'a Apron.Manager.t -> 'a Apron.Abstract1.t -> int -> unit
  external fdump : 'a Apron.Manager.t -> 'a Apron.Abstract1.t -> unit
    = "camlidl_abstract1_ap_abstract1_fdump"
  val print : Format.formatter -> 'a Apron.Abstract1.t -> unit
  external bottom :
    'a Apron.Manager.t -> Apron.Environment.t -> 'a Apron.Abstract1.t
    = "camlidl_abstract1_ap_abstract1_bottom"
  external top :
    'a Apron.Manager.t -> Apron.Environment.t -> 'a Apron.Abstract1.t
    = "camlidl_abstract1_ap_abstract1_top"
  external of_box :
    'a Apron.Manager.t ->
    Apron.Environment.t ->
    Apron.Var.t array -> Apron.Interval.t array -> 'a Apron.Abstract1.t
    = "camlidl_abstract1_ap_abstract1_of_box"
  val manager : 'a Apron.Abstract1.t -> 'a Apron.Manager.t
  val env : 'a Apron.Abstract1.t -> Apron.Environment.t
  val abstract0 : 'a Apron.Abstract1.t -> 'a Apron.Abstract0.t
  val is_bottom : 'a Apron.Manager.t -> 'a Apron.Abstract1.t -> bool
  val is_top : 'a Apron.Manager.t -> 'a Apron.Abstract1.t -> bool
  external is_leq :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t -> 'a Apron.Abstract1.t -> bool
    = "camlidl_abstract1_ap_abstract1_is_leq"
  external is_eq :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t -> 'a Apron.Abstract1.t -> bool
    = "camlidl_abstract1_ap_abstract1_is_eq"
  external sat_lincons :
    'a Apron.Manager.t -> 'a Apron.Abstract1.t -> Apron.Lincons1.t -> bool
    = "camlidl_abstract1_ap_abstract1_sat_lincons"
  external sat_tcons :
    'a Apron.Manager.t -> 'a Apron.Abstract1.t -> Apron.Tcons1.t -> bool
    = "camlidl_abstract1_ap_abstract1_sat_tcons"
  external sat_interval :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t -> Apron.Var.t -> Apron.Interval.t -> bool
    = "camlidl_abstract1_ap_abstract1_sat_interval"
  external is_variable_unconstrained :
    'a Apron.Manager.t -> 'a Apron.Abstract1.t -> Apron.Var.t -> bool
    = "camlidl_abstract1_ap_abstract1_is_variable_unconstrained"
  external bound_variable :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t -> Apron.Var.t -> Apron.Interval.t
    = "camlidl_abstract1_ap_abstract1_bound_variable"
  external bound_linexpr :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t -> Apron.Linexpr1.t -> Apron.Interval.t
    = "camlidl_abstract1_ap_abstract1_bound_linexpr"
  external bound_texpr :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t -> Apron.Texpr1.t -> Apron.Interval.t
    = "camlidl_abstract1_ap_abstract1_bound_texpr"
  val to_box :
    'a Apron.Manager.t -> 'a Apron.Abstract1.t -> Apron.Abstract1.box1
  val to_lincons_array :
    'a Apron.Manager.t -> 'a Apron.Abstract1.t -> Apron.Lincons1.earray
  val to_tcons_array :
    'a Apron.Manager.t -> 'a Apron.Abstract1.t -> Apron.Tcons1.earray
  val to_generator_array :
    'a Apron.Manager.t -> 'a Apron.Abstract1.t -> Apron.Generator1.earray
  external meet :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t -> 'a Apron.Abstract1.t -> 'a Apron.Abstract1.t
    = "camlidl_abstract1_ap_abstract1_meet"
  external meet_array :
    'a Apron.Manager.t -> 'a Apron.Abstract1.t array -> 'a Apron.Abstract1.t
    = "camlidl_abstract1_ap_abstract1_meet_array"
  external meet_lincons_array :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t -> Apron.Lincons1.earray -> 'a Apron.Abstract1.t
    = "camlidl_abstract1_ap_abstract1_meet_lincons_array"
  external meet_tcons_array :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t -> Apron.Tcons1.earray -> 'a Apron.Abstract1.t
    = "camlidl_abstract1_ap_abstract1_meet_tcons_array"
  external join :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t -> 'a Apron.Abstract1.t -> 'a Apron.Abstract1.t
    = "camlidl_abstract1_ap_abstract1_join"
  external join_array :
    'a Apron.Manager.t -> 'a Apron.Abstract1.t array -> 'a Apron.Abstract1.t
    = "camlidl_abstract1_ap_abstract1_join_array"
  external add_ray_array :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t -> Apron.Generator1.earray -> 'a Apron.Abstract1.t
    = "camlidl_abstract1_ap_abstract1_add_ray_array"
  external meet_with :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t -> 'a Apron.Abstract1.t -> unit
    = "camlidl_abstract1_ap_abstract1_meet_with"
  external meet_lincons_array_with :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t -> Apron.Lincons1.earray -> unit
    = "camlidl_abstract1_ap_abstract1_meet_lincons_array_with"
  external meet_tcons_array_with :
    'a Apron.Manager.t -> 'a Apron.Abstract1.t -> Apron.Tcons1.earray -> unit
    = "camlidl_abstract1_ap_abstract1_meet_tcons_array_with"
  external join_with :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t -> 'a Apron.Abstract1.t -> unit
    = "camlidl_abstract1_ap_abstract1_join_with"
  external add_ray_array_with :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t -> Apron.Generator1.earray -> unit
    = "camlidl_abstract1_ap_abstract1_add_ray_array_with"
  external assign_linexpr_array :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t ->
    Apron.Var.t array ->
    Apron.Linexpr1.t array ->
    'a Apron.Abstract1.t option -> 'a Apron.Abstract1.t
    = "camlidl_abstract1_ap_abstract1_assign_linexpr_array"
  external substitute_linexpr_array :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t ->
    Apron.Var.t array ->
    Apron.Linexpr1.t array ->
    'a Apron.Abstract1.t option -> 'a Apron.Abstract1.t
    = "camlidl_abstract1_ap_abstract1_substitute_linexpr_array"
  external assign_texpr_array :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t ->
    Apron.Var.t array ->
    Apron.Texpr1.t array ->
    'a Apron.Abstract1.t option -> 'a Apron.Abstract1.t
    = "camlidl_abstract1_ap_abstract1_assign_texpr_array"
  external substitute_texpr_array :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t ->
    Apron.Var.t array ->
    Apron.Texpr1.t array ->
    'a Apron.Abstract1.t option -> 'a Apron.Abstract1.t
    = "camlidl_abstract1_ap_abstract1_substitute_texpr_array"
  external assign_linexpr_array_with :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t ->
    Apron.Var.t array ->
    Apron.Linexpr1.t array -> 'a Apron.Abstract1.t option -> unit
    = "camlidl_abstract1_ap_abstract1_assign_linexpr_array_with"
  external substitute_linexpr_array_with :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t ->
    Apron.Var.t array ->
    Apron.Linexpr1.t array -> 'a Apron.Abstract1.t option -> unit
    = "camlidl_abstract1_ap_abstract1_substitute_linexpr_array_with"
  external assign_texpr_array_with :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t ->
    Apron.Var.t array ->
    Apron.Texpr1.t array -> 'a Apron.Abstract1.t option -> unit
    = "camlidl_abstract1_ap_abstract1_assign_texpr_array_with"
  external substitute_texpr_array_with :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t ->
    Apron.Var.t array ->
    Apron.Texpr1.t array -> 'a Apron.Abstract1.t option -> unit
    = "camlidl_abstract1_ap_abstract1_substitute_texpr_array_with"
  external forget_array :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t -> Apron.Var.t array -> bool -> 'a Apron.Abstract1.t
    = "camlidl_abstract1_ap_abstract1_forget_array"
  external forget_array_with :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t -> Apron.Var.t array -> bool -> unit
    = "camlidl_abstract1_ap_abstract1_forget_array_with"
  external change_environment :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t ->
    Apron.Environment.t -> bool -> 'a Apron.Abstract1.t
    = "camlidl_abstract1_ap_abstract1_change_environment"
  external minimize_environment :
    'a Apron.Manager.t -> 'a Apron.Abstract1.t -> 'a Apron.Abstract1.t
    = "camlidl_abstract1_ap_abstract1_minimize_environment"
  external rename_array :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t ->
    Apron.Var.t array -> Apron.Var.t array -> 'a Apron.Abstract1.t
    = "camlidl_abstract1_ap_abstract1_rename_array"
  external change_environment_with :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t -> Apron.Environment.t -> bool -> unit
    = "camlidl_abstract1_ap_abstract1_change_environment_with"
  external minimize_environment_with :
    'a Apron.Manager.t -> 'a Apron.Abstract1.t -> unit
    = "camlidl_abstract1_ap_abstract1_minimize_environment_with"
  external rename_array_with :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t -> Apron.Var.t array -> Apron.Var.t array -> unit
    = "camlidl_abstract1_ap_abstract1_rename_array_with"
  external expand :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t ->
    Apron.Var.t -> Apron.Var.t array -> 'a Apron.Abstract1.t
    = "camlidl_abstract1_ap_abstract1_expand"
  external fold :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t -> Apron.Var.t array -> 'a Apron.Abstract1.t
    = "camlidl_abstract1_ap_abstract1_fold"
  external expand_with :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t -> Apron.Var.t -> Apron.Var.t array -> unit
    = "camlidl_abstract1_ap_abstract1_expand_with"
  external fold_with :
    'a Apron.Manager.t -> 'a Apron.Abstract1.t -> Apron.Var.t array -> unit
    = "camlidl_abstract1_ap_abstract1_fold_with"
  external widening :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t -> 'a Apron.Abstract1.t -> 'a Apron.Abstract1.t
    = "camlidl_abstract1_ap_abstract1_widening"
  external widening_threshold :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t ->
    'a Apron.Abstract1.t -> Apron.Lincons1.earray -> 'a Apron.Abstract1.t
    = "camlidl_abstract1_ap_abstract1_widening_threshold"
  external closure :
    'a Apron.Manager.t -> 'a Apron.Abstract1.t -> 'a Apron.Abstract1.t
    = "camlidl_abstract1_ap_abstract1_closure"
  external closure_with : 'a Apron.Manager.t -> 'a Apron.Abstract1.t -> unit
    = "camlidl_abstract1_ap_abstract1_closure_with"
  val of_lincons_array :
    'a Apron.Manager.t ->
    Apron.Environment.t -> Apron.Lincons1.earray -> 'a Apron.Abstract1.t
  val of_tcons_array :
    'a Apron.Manager.t ->
    Apron.Environment.t -> Apron.Tcons1.earray -> 'a Apron.Abstract1.t
  val assign_linexpr :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t ->
    Apron.Var.t ->
    Apron.Linexpr1.t -> 'a Apron.Abstract1.t option -> 'a Apron.Abstract1.t
  val substitute_linexpr :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t ->
    Apron.Var.t ->
    Apron.Linexpr1.t -> 'a Apron.Abstract1.t option -> 'a Apron.Abstract1.t
  val assign_texpr :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t ->
    Apron.Var.t ->
    Apron.Texpr1.t -> 'a Apron.Abstract1.t option -> 'a Apron.Abstract1.t
  val substitute_texpr :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t ->
    Apron.Var.t ->
    Apron.Texpr1.t -> 'a Apron.Abstract1.t option -> 'a Apron.Abstract1.t
  val assign_linexpr_with :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t ->
    Apron.Var.t -> Apron.Linexpr1.t -> 'a Apron.Abstract1.t option -> unit
  val substitute_linexpr_with :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t ->
    Apron.Var.t -> Apron.Linexpr1.t -> 'a Apron.Abstract1.t option -> unit
  val assign_texpr_with :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t ->
    Apron.Var.t -> Apron.Texpr1.t -> 'a Apron.Abstract1.t option -> unit
  val substitute_texpr_with :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t ->
    Apron.Var.t -> Apron.Texpr1.t -> 'a Apron.Abstract1.t option -> unit
  external unify :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t -> 'a Apron.Abstract1.t -> 'a Apron.Abstract1.t
    = "camlidl_abstract1_ap_abstract1_unify"
  external unify_with :
    'a Apron.Manager.t ->
    'a Apron.Abstract1.t -> 'a Apron.Abstract1.t -> unit
    = "camlidl_abstract1_ap_abstract1_unify_with"
end