package apron

  1. Overview
  2. Docs
type t
val manager_alloc : unit -> t Apron.Manager.t
val manager_is_box : 'a Apron.Manager.t -> bool
val manager_of_box : t Apron.Manager.t -> 'a Apron.Manager.t
val manager_to_box : 'a Apron.Manager.t -> t Apron.Manager.t
module Abstract0 : sig ... end
module Abstract1 : sig ... end
module Policy : sig ... end
val policy_manager_alloc : t Apron.Manager.t -> t Apron.Policy.man