Module Ai_options

module Ai_options: sig .. end
Command line options for abstract interpretation

module Domain: sig .. end
module FailSoftMode: Parameters.Boolean 
module X86FlagPatterns: Parameters.Boolean 
module KSetSize: Parameters.Integer