module Jessie_options: sig
.. end
include struct ... end
module ProjectName: EmptyString
(
sig
end
)
module Behavior: EmptyString
(
sig
end
)
module Analysis: False
(
sig
end
)
module JcOpt: StringSet
(
sig
end
)
module WhyOpt: StringSet
(
sig
end
)
type
int_model =
| |
IMexact |
| |
IMbounded |
| |
IMmodulo |
val pp_int_model : 'a -> Format.formatter -> int_model -> unit
val int_model : int_model Type.t
val imbounded : int_model
val imexact : int_model
val immodulo : int_model
module IntModel: IndexedVal
(
sig
end
)
module GenOnly: False
(
sig
end
)
module SepRegions: True
(
sig
end
)
module InferAnnot: EmptyString
(
sig
end
)
module CpuLimit: Zero
(
sig
end
)
module AbsDomain: String
(
sig
end
)
module Atp: String
(
sig
end
)
module HintLevel: Zero
(
sig
end
)