Module Itv


module Itv: sig .. end
ITV: intervals abstract domain

val manager_alloc : unit -> Apron.Manager.t
Create an Itv manager.