Module Ai

module Ai: sig .. end
Generic abstract interpretation definitions

module type AbstractAnalysis = sig .. end
module Make: 
functor (State : Ai_sigs.AbstractDomain) -> AbstractAnalysis
val run : ?dba_file:string option -> configuration_file:string option -> unit -> unit