package apron

  1. Overview
  2. Docs
type internal
type t
val manager_alloc : unit -> t Apron.Manager.t
val manager_get_internal : t Apron.Manager.t -> internal
val of_generator_array : t Apron.Manager.t -> int -> int -> Apron.Generator0.t array -> t Apron.Abstract0.t
val pre_widening : int
val manager_is_avo : 'a Apron.Manager.t -> bool
val manager_of_avo : t Apron.Manager.t -> 'a Apron.Manager.t
val manager_to_avo : 'a Apron.Manager.t -> t Apron.Manager.t
module Abstract0 : sig ... end
module Abstract1 : sig ... end
OCaml

Innovation. Community. Security.