Module Flx_cil_check


module Flx_cil_check: sig .. end


type checkFlags =
| NoFlx_cil_checkGlobalIds
val checkFile : checkFlags list -> Flx_cil_cil.file -> bool