functor (V : Lattice_With_Isotropy.S->
  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 from_cstring : Base.cstring -> 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 is_included_exn : t -> t -> unit
    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 :
      Abstract_interp.Int.t * Abstract_interp.Int.t -> t -> v
    val find_imprecise_everywhere : validity:Base.validity -> 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 clear_caches : unit -> unit
  end