module Flx_cil_check: sig .. end
sig
end
type checkFlags =
|
NoFlx_cil_checkGlobalIds
val checkFile : checkFlags list -> Flx_cil_cil.file -> bool
checkFlags list -> Flx_cil_cil.file -> bool