functor
  (V : sig
         type generic_widen_hint
         type size_widen_hint = Integer.t
         type t
         val ty : t Type.t
         val name : string
         val descr : t Descr.t
         val packed_descr : Structural_descr.pack
         val reprs : t list
         val equal : t -> t -> bool
         val compare : t -> t -> int
         val hash : t -> int
         val pretty_code : Format.formatter -> t -> unit
         val internal_pretty_code :
           Type.precedence -> Format.formatter -> t -> unit
         val pretty : Format.formatter -> t -> unit
         val varname : t -> string
         val mem_project : (Project_skeleton.t -> bool) -> t -> bool
         val copy : t -> t
         val join : t -> t -> t
         val is_included : t -> t -> bool
         val bottom : t
         type widen_hint = size_widen_hint * generic_widen_hint
         val widen : widen_hint -> t -> t -> t
         val cardinal_zero_or_one : t -> bool
         val pretty_typ : Cil_types.typ option -> t Pretty_utils.formatter
         val is_isotropic : t -> bool
         val topify_with_origin : Origin.t -> t -> t
         val extract_bits :
           topify:Origin.kind ->
           start:Integer.t ->
           stop:Integer.t -> size:Integer.t -> t -> bool * t
         val shift_bits :
           topify:Origin.kind -> offset:Integer.t -> size:Integer.t -> t -> t
         val merge_distinct_bits :
           topify:Origin.kind -> conflate_bottom:bool -> t -> t -> t
         val merge_neutral_element : t
         val anisotropic_cast : size:Integer.t -> t -> t
       end->
  sig
    type v = V.t
    type widen_hint = V.generic_widen_hint
    type alarm = bool
    type t
    val pretty_generic :
      ?typ:Cil_types.typ ->
      ?pretty_v:(Cil_types.typ option -> Format.formatter -> v -> unit) ->
      ?skip_v:(v -> bool) ->
      ?sep:string -> unit -> Format.formatter -> t -> unit
    val create :
      size:Abstract_interp.Int.t -> v -> size_v:Abstract_interp.Int.t -> t
    val create_isotropic : size:Abstract_interp.Int.t -> v -> t
    val of_list :
      ((t -> v -> t) -> t -> '-> t) -> '-> Abstract_interp.Int.t -> t
    val empty : t
    val size_from_validity : Base.validity -> Integer.t Bottom.or_bottom
    val iter :
      (Abstract_interp.Int.t * Abstract_interp.Int.t ->
       v * Abstract_interp.Int.t * Abstract_interp.Rel.t -> unit) ->
      t -> unit
    val fold :
      (Abstract_interp.Int.t * Abstract_interp.Int.t ->
       v * Abstract_interp.Int.t * Abstract_interp.Rel.t -> '-> 'a) ->
      t -> '-> 'a
    val fold_between :
      ?direction:[ `LTR | `RTL ] ->
      entire:bool ->
      Abstract_interp.Int.t * Abstract_interp.Int.t ->
      (Abstract_interp.Int.t * Abstract_interp.Int.t ->
       v * Abstract_interp.Int.t * Abstract_interp.Rel.t -> '-> 'a) ->
      t -> '-> 'a
    val iter_on_values : (v -> unit) -> t -> unit
    val fold_on_values : (v -> '-> 'a) -> t -> '-> 'a
    val map_on_values : (v -> v) -> t -> t
    type map2_decide =
        ReturnLeft
      | ReturnRight
      | ReturnConstant of v
      | Recurse
    val map2_on_values :
      Hptmap_sig.cache_type ->
      (t -> t -> map2_decide) -> (v -> v -> v) -> t -> t -> t
    val ty : t Type.t
    val name : string
    val descr : t Descr.t
    val packed_descr : Structural_descr.pack
    val reprs : t list
    val equal : t -> t -> bool
    val compare : t -> t -> int
    val hash : t -> int
    val pretty_code : Format.formatter -> t -> unit
    val internal_pretty_code :
      Type.precedence -> Format.formatter -> t -> unit
    val pretty : Format.formatter -> t -> unit
    val varname : t -> string
    val mem_project : (Project_skeleton.t -> bool) -> t -> bool
    val copy : t -> t
    val join : t -> t -> t
    val is_included : t -> t -> bool
    val widen : widen_hint -> t -> t -> t
    module Make_Narrow :
      functor (X : sig val top : v val narrow : v -> v -> v end->
        sig val narrow : t -> t -> t val narrow_reinterpret : t -> t -> t end
    val find :
      validity:Base.validity ->
      ?conflate_bottom:bool ->
      offsets:Ival.t -> size:Integer.t -> t -> bool * v
    val find_imprecise : validity:Base.validity -> t -> v
    val find_imprecise_everywhere : t -> v
    val copy_slice :
      validity:Base.validity ->
      offsets:Ival.t -> size:Integer.t -> t -> alarm * t Bottom.or_bottom
    val add :
      ?exact:bool ->
      Abstract_interp.Int.t * Abstract_interp.Int.t ->
      v * Abstract_interp.Int.t * Abstract_interp.Rel.t -> t -> t
    val update :
      ?origin:Origin.t ->
      validity:Base.validity ->
      exact:bool ->
      offsets:Ival.t ->
      size:Abstract_interp.Int.t -> v -> t -> alarm * t Bottom.or_bottom
    val update_under :
      validity:Base.validity ->
      exact:bool ->
      offsets:Ival.t ->
      size:Abstract_interp.Int.t -> v -> t -> alarm * t Bottom.or_bottom
    val update_imprecise_everywhere :
      validity:Base.validity -> Origin.t -> v -> t -> t Bottom.or_bottom
    val paste_slice :
      validity:Base.validity ->
      exact:bool ->
      from:t ->
      size:Abstract_interp.Int.t ->
      offsets:Ival.t -> t -> alarm * t Bottom.or_bottom
    val cardinal_zero_or_one : t -> bool
    val is_single_interval : t -> bool
    val single_interval_value : t -> v option
    val is_same_value : t -> v -> bool
    val imprecise_write_msg : string ref
    val clear_caches : unit -> unit
    val pretty_debug : t Pretty_utils.formatter
  end