sig
type t
external manager_alloc : unit -> Box.t Apron.Manager.t
= "camlidl_box_box_manager_alloc"
val manager_is_box : 'a Apron.Manager.t -> bool
val manager_of_box : Box.t Apron.Manager.t -> 'a Apron.Manager.t
val manager_to_box : 'a Apron.Manager.t -> Box.t Apron.Manager.t
module Abstract0 :
sig
val is_box : 'a Apron.Abstract0.t -> bool
val of_box : Box.t Apron.Abstract0.t -> 'a Apron.Abstract0.t
val to_box : 'a Apron.Abstract0.t -> Box.t Apron.Abstract0.t
end
module Abstract1 :
sig
val is_box : 'a Apron.Abstract1.t -> bool
val of_box : Box.t Apron.Abstract1.t -> 'a Apron.Abstract1.t
val to_box : 'a Apron.Abstract1.t -> Box.t Apron.Abstract1.t
end
module Policy :
sig
val is_box : 'a Apron.Policy.t -> bool
val of_box : Box.t Apron.Policy.t -> 'a Apron.Policy.t
val to_box : 'a Apron.Policy.t -> Box.t Apron.Policy.t
val print :
(int -> string) ->
Stdlib.Format.formatter -> Box.t Apron.Policy.t -> unit
val print0 : Stdlib.Format.formatter -> Box.t Apron.Policy.t -> unit
val print1 :
Apron.Environment.t ->
Stdlib.Format.formatter -> Box.t Apron.Policy.t -> unit
end
external policy_manager_alloc :
Box.t Apron.Manager.t -> Box.t Apron.Policy.man
= "camlidl_box_box_policy_manager_alloc"
end