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