functor
  (V : sig
         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 join_and_is_included : t -> t -> t * bool
         val bottom : t
         val top : t
         type widen_hint
         val widen : widen_hint -> t -> t -> t
         val cardinal_zero_or_one : t -> bool
         val is_isotropic : t -> bool
         val extract_bits :
           topify:Origin.kind ->
           start:Integer.t ->
           stop:Integer.t -> size:Integer.t -> t -> bool * t
         val little_endian_merge_bits :
           topify:Origin.kind ->
           conflate_bottom:bool ->
           total_length:int -> value:t -> offset:Integer.t -> t -> t
         val big_endian_merge_bits :
           topify:Origin.kind ->
           conflate_bottom:bool ->
           total_length:int ->
           length:Integer.t -> value:t -> offset:Integer.t -> t -> t
         val merge_neutral_element : t
         val topify_with_origin : Origin.t -> t -> t
         val anisotropic_cast : size:Integer.t -> t -> t
       end->
  sig
    type v = V.t
    type widen_hint = V.widen_hint
    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 varname : t -> string
    val mem_project : (Project_skeleton.t -> bool) -> t -> bool
    val copy : t -> t
    val pretty : Format.formatter -> t -> unit
    val pretty_typ : Cil_types.typ option -> 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 is_empty : t -> bool
    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 :
      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 -> Abstract_interp.Int.t -> unit) -> t -> unit
    val fold_on_values :
      (v -> Abstract_interp.Int.t -> '-> 'a) -> t -> '-> 'a
    val join : t -> t -> t
    val is_included : t -> t -> bool
    val widen : widen_hint -> t -> t -> t
    val find :
      with_alarms:CilE.warn_mode ->
      validity:Base.validity ->
      conflate_bottom:bool -> offsets:Ival.t -> size:Integer.t -> t -> v
    val find_imprecise : validity:Base.validity -> t -> v
    val find_imprecise_everywhere : t -> v
    val copy_slice :
      with_alarms:CilE.warn_mode ->
      validity:Base.validity -> offsets:Ival.t -> size:Integer.t -> t -> t
    val add :
      Abstract_interp.Int.t * Abstract_interp.Int.t ->
      v * Abstract_interp.Int.t * Abstract_interp.Rel.t -> t -> t
    exception Result_is_bottom
    val update :
      with_alarms:CilE.warn_mode ->
      validity:Base.validity ->
      exact:bool ->
      offsets:Ival.t -> size:Abstract_interp.Int.t -> v -> t -> t
    val update_imprecise_everywhere :
      validity:Base.validity -> Origin.t -> v -> t -> t
    val paste_slice :
      with_alarms:CilE.warn_mode ->
      validity:Base.validity ->
      exact:bool ->
      t * Abstract_interp.Int.t ->
      size:Abstract_interp.Int.t -> offsets:Ival.t -> t -> t
    val cardinal_zero_or_one : t -> bool
    val is_single_interval : ?f:(v -> bool) -> t -> bool
    val single_interval_value : t -> v option
    val clear_caches : unit -> unit
  end