Module Flx_cil_cabs2cil


module Flx_cil_cabs2cil: sig .. end

val convFile : Flx_cil_cabs.file -> Flx_cil_cil.file
val nocil : int Pervasives.ref
val allowDuplication : bool Pervasives.ref