module Security: sig .. end
sig
end
val run_whole_analysis : (unit -> unit) Pervasives.ref
(unit -> unit) Pervasives.ref
val run_ai_analysis : (unit -> unit) Pervasives.ref
val run_slicing_analysis : (unit -> Project.t) Pervasives.ref
(unit -> Project.t) Pervasives.ref
val self : State.t Pervasives.ref
State.t Pervasives.ref