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 bottom : t
         val narrow : t -> t -> t
         val top : t
       end)
  ->
  sig
    type v = V.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 varname : t -> string
    val mem_project : (Project_skeleton.t -> bool) -> t -> bool
    val copy : t -> t
    type intervals = Int_Intervals.t
    val pretty : t Pretty_utils.formatter
    val pretty_generic :
      ?typ:Cil_types.typ ->
      ?pretty_v:(Format.formatter -> v -> unit) ->
      ?skip_v:(v -> bool) ->
      ?sep:string -> unit -> Format.formatter -> t -> unit
    val pretty_debug : t Pretty_utils.formatter
    val join : t -> t -> t
    val is_included : t -> t -> bool
    val find : Int_Intervals_sig.itv -> t -> v
    val find_iset : validity:Base.validity -> intervals -> t -> v
    val add_binding_intervals :
      validity:Base.validity ->
      exact:bool -> intervals -> v -> t -> t Lattice_bounds.or_bottom
    val add_binding_ival :
      validity:Base.validity ->
      exact:bool ->
      Ival.t -> size:Int_Base.t -> v -> t -> t Lattice_bounds.or_bottom
    val create : size:Integer.t -> v -> t
    val empty : t
    val size_from_validity :
      Base.validity -> Integer.t Lattice_bounds.or_bottom
    val map : (v -> v) -> t -> t
    type map2_decide =
        ReturnLeft
      | ReturnRight
      | ReturnConstant of v
      | Recurse
    val map2 :
      Hptmap_sig.cache_type ->
      (t -> t -> map2_decide) -> (v -> v -> v) -> t -> t -> t
    val fold : (intervals -> v -> '-> 'a) -> t -> '-> 'a
    val fold_fuse_same : (intervals -> v -> '-> 'a) -> t -> '-> 'a
    val fold_itv :
      ?direction:[ `LTR | `RTL ] ->
      entire:bool ->
      (Int_Intervals_sig.itv -> v -> '-> 'a) ->
      Int_Intervals_sig.itv -> t -> '-> 'a
    val fold_join_itvs :
      cache:Hptmap_sig.cache_type ->
      (Integer.t -> Integer.t -> v -> 'a) ->
      ('-> '-> 'a) -> '-> intervals -> t -> 'a
    val is_single_interval : t -> bool
    val single_interval_value : t -> v option
    val is_same_value : t -> v -> bool
    val clear_caches : unit -> unit
    val imprecise_write_msg : string ref
  end