Module Static_options

module Static_options: sig .. end
Common command-line options for static analyses

module Disassembly: Parameters.Boolean 
module NaiveWidening: Parameters.Boolean