Module Expcompare

module Expcompare: sig .. end

val stripNopCasts : Cil_types.exp -> Cil_types.exp
val compareExpStripCasts : Cil_types.exp -> Cil_types.exp -> bool
val stripCastsForPtrArith : Cil_types.exp -> Cil_types.exp
class volatileFinderClass : bool Pervasives.ref -> object .. end
val isTypeVolatile : Cil_types.typ -> bool
val stripCastsDeepForPtrArith : Cil_types.exp -> Cil_types.exp
val stripCastsForPtrArithLval : Cil_types.lval -> Cil_types.lval
val stripCastsForPtrArithOff : Cil_types.offset -> Cil_types.offset
val compareExpDeepStripCasts : Cil_types.exp -> Cil_types.exp -> bool