Module Builtins_nonfree_watchpoint

module Builtins_nonfree_watchpoint: sig .. end

type watch = 
| Value of Cvalue.V.t
| Cardinal of int
val equal_watch : watch ->
watch -> bool
type watchpoint = {
   name_lv : Cil_types.exp;
   loc : Locations.location;
   v : watch;
   mutable remaining_count : Integer.t;
   mutable stmts : Cil_datatype.Stmt.Set.t;
}
val watch_table : watchpoint list Pervasives.ref
val new_watchpoint : Cil_types.exp ->
Locations.location ->
watch ->
Integer.t -> watchpoint
val add_watch : (Cvalue.V.t -> watch) ->
Cvalue.Model.t ->
(Cil_types.exp * Cvalue.V.t * 'a) list -> Value_types.call_result
val make_watch_value : Cvalue.V.t -> watch
val make_watch_cardinal : Cvalue.V.t -> watch
val watch_hook : Cil_datatype.Stmt.Set.elt * 'a * Cvalue.Model.t list -> unit