sig
  val is_bitfield : Cil_types.typ -> bool
  val bitfield_size : Cil_types.typ -> Integer.t option
  val cast_lval_if_bitfield :
    Cil_types.typ -> Int_Base.t -> Cvalue.V.t -> Cvalue.V.t
  val sizeof_lval_typ : Cil_types.typ -> Int_Base.t
  val offsetmap_matches_type : Cil_types.typ -> Cvalue.V_Offsetmap.t -> bool
  val need_cast : Cil_types.typ -> Cil_types.typ -> bool
  type fct_pointer_compatibility =
      Compatible
    | Incompatible
    | Incompatible_but_accepted
  val compatible_functions :
    typ_pointed:Cil_types.typ ->
    typ_fun:Cil_types.typ -> Eval_typ.fct_pointer_compatibility
  val resolve_functions :
    typ_pointer:Cil_types.typ ->
    Cvalue.V.t -> Kernel_function.Hptset.t Eval.or_top * bool
  val expr_contains_volatile : Cil_types.exp -> bool
  val lval_contains_volatile : Cil_types.lval -> bool
end