functor (V : Lattice_With_Isotropy.S->
  sig
    type t
    type y = V.t
    type widen_hint = V.widen_hint
    val empty : Offsetmap.Build.t
    val is_empty : Offsetmap.Build.t -> bool
    val equal : Offsetmap.Build.t -> Offsetmap.Build.t -> bool
    val pretty_typ :
      Cil_types.typ option -> Format.formatter -> Offsetmap.Build.t -> unit
    val pretty : Format.formatter -> Offsetmap.Build.t -> unit
    val pretty_debug : Format.formatter -> Offsetmap.Build.t -> unit
    val reduce :
      Ival.t ->
      size:Abstract_interp.Int.t ->
      Offsetmap.Build.y -> Offsetmap.Build.t -> Offsetmap.Build.t
    val is_included : Offsetmap.Build.t -> Offsetmap.Build.t -> bool
    val is_included_exn : Offsetmap.Build.t -> Offsetmap.Build.t -> unit
    val is_included_exn_generic :
      (Offsetmap.Build.y -> Offsetmap.Build.y -> unit) ->
      Offsetmap.Build.t -> Offsetmap.Build.t -> unit
    val is_included_actual_generic :
      BaseUtils.BaseSet.t ->
      BaseUtils.BaseSet.t Pervasives.ref ->
      Locations.Location_Bytes.t BaseUtils.BaseMap.t Pervasives.ref ->
      Offsetmap.Build.t -> Offsetmap.Build.t -> unit
    val join :
      Offsetmap.Build.t ->
      Offsetmap.Build.t ->
      (Abstract_interp.Int.t * Abstract_interp.Int.t) list *
      Offsetmap.Build.t
    val widen :
      Offsetmap.Build.widen_hint ->
      Offsetmap.Build.t -> Offsetmap.Build.t -> Offsetmap.Build.t
    val fold_internal :
      (Offsetmap.itv ->
       Abstract_interp.Int.t * Abstract_interp.Int.t * Offsetmap.Build.y ->
       '-> 'a) ->
      Offsetmap.Build.t -> '-> 'a
    val find_ival :
      validity:Base.validity ->
      with_alarms:CilE.warn_mode ->
      Ival.t ->
      Offsetmap.Build.t ->
      Abstract_interp.Int.t -> Offsetmap.Build.y -> Offsetmap.Build.y
    val concerned_bindings_ival :
      offsets:Ival.t ->
      offsetmap:Offsetmap.Build.t ->
      size:Abstract_interp.Int.t ->
      Offsetmap.Build.y list -> Offsetmap.Build.y list
    val update_ival :
      with_alarms:CilE.warn_mode ->
      validity:Base.validity ->
      exact:bool ->
      offsets:Ival.t ->
      size:Abstract_interp.Int.t ->
      Offsetmap.Build.t -> Offsetmap.Build.y -> Offsetmap.Build.t
    val overwrite :
      Offsetmap.Build.t -> Offsetmap.Build.y -> Origin.t -> Offsetmap.Build.t
    val over_intersection :
      Offsetmap.Build.t -> Offsetmap.Build.t -> Offsetmap.Build.t
    val from_string : string -> Offsetmap.Build.t
    val add_whole :
      Offsetmap.itv ->
      Offsetmap.Build.y -> Offsetmap.Build.t -> Offsetmap.Build.t
    val remove_whole :
      Offsetmap.itv -> Offsetmap.Build.t -> Offsetmap.Build.t
    val fold_whole :
      size:Abstract_interp.Int.t ->
      (Ival.t -> Abstract_interp.Int.t -> Offsetmap.Build.y -> '-> 'a) ->
      Offsetmap.Build.t -> '-> 'a
    val shift_ival :
      Ival.t ->
      Offsetmap.Build.t ->
      Offsetmap.Build.t option -> Offsetmap.Build.t option
    val copy_paste :
      Offsetmap.Build.t ->
      Abstract_interp.Int.t ->
      Abstract_interp.Int.t ->
      Abstract_interp.Int.t -> Offsetmap.Build.t -> Offsetmap.Build.t
    val copy_merge :
      Offsetmap.Build.t ->
      Abstract_interp.Int.t ->
      Abstract_interp.Int.t ->
      Abstract_interp.Int.t -> Offsetmap.Build.t -> Offsetmap.Build.t
    val copy :
      Offsetmap.Build.t ->
      Abstract_interp.Int.t -> Abstract_interp.Int.t -> Offsetmap.Build.t
    val merge_by_itv :
      Offsetmap.Build.t ->
      Offsetmap.Build.t ->
      Abstract_value.Int_Intervals.t -> Offsetmap.Build.t
    val shift :
      Abstract_interp.Int.t -> Offsetmap.Build.t -> Offsetmap.Build.t
    val sized_zero : size_in_bits:Abstract_interp.Int.t -> Offsetmap.Build.t
    val reciprocal_image :
      Offsetmap.Build.t -> Base.t -> Abstract_value.Int_Intervals.t * Ival.t
    val create_initial :
      v:Offsetmap.Build.y -> modu:Abstract_interp.Int.t -> Offsetmap.Build.t
    val reduce_by_int_intervals :
      Offsetmap.Build.t ->
      Abstract_value.Int_Intervals.t -> Offsetmap.Build.t
    val top_stuff :
      (Offsetmap.Build.y -> bool) ->
      (Offsetmap.Build.y -> Offsetmap.Build.y) ->
      Offsetmap.Build.t -> Offsetmap.Build.t
    val iter_contents :
      (Offsetmap.Build.y -> unit) ->
      Offsetmap.Build.t -> Abstract_interp.Int.t -> unit
    val pretty_compare : Format.formatter -> Offsetmap.Build.t -> unit
    val add_internal :
      Offsetmap.itv ->
      Abstract_interp.Int.t * Abstract_interp.Int.t * Offsetmap.Build.y ->
      Offsetmap.Build.t -> Offsetmap.Build.t
  end