module Flx_cil_cabs2cil: sig .. end
sig
end
val convFile : Flx_cil_cabs.file -> Flx_cil_cil.file
Flx_cil_cabs.file -> Flx_cil_cil.file
val nocil : int Pervasives.ref
int Pervasives.ref
val allowDuplication : bool Pervasives.ref
bool Pervasives.ref