Previous
Up
Next
Module
Itv
module
Itv:
sig
..
end
ITV: intervals abstract domain
val
manager_alloc :
unit -> Apron.Manager.t
Create an Itv manager.