Consumer_frame_range (soteria-c.Soteria_c_lib.Ctree_block.Tree.Consumer_frame

val (let*) : 
  ('a, 'b) Soteria_c_lib__Csymex.CSYMEX.Consumer.t ->
  ('a -> ('c, 'b) Soteria_c_lib__Csymex.CSYMEX.Consumer.t) ->
  ('c, 'b) Soteria_c_lib__Csymex.CSYMEX.Consumer.t

val (let+) : 
  ('a, 'b) Soteria_c_lib__Csymex.CSYMEX.Consumer.t ->
  ('a -> 'c) ->
  ('c, 'b) Soteria_c_lib__Csymex.CSYMEX.Consumer.t

val (let*^) : 
  (Cerb_location.t ->
    ('a * Cerb_location.t)
      Soteria__Symex.Make(Soteria.Bv_values.Bv_solver.Z3_solver).t) ->
  ('a -> ('b, 'c) Soteria_c_lib__Csymex.CSYMEX.Consumer.t) ->
  ('b, 'c) Soteria_c_lib__Csymex.CSYMEX.Consumer.t

val (let+^) : 
  (Cerb_location.t ->
    ('a * Cerb_location.t)
      Soteria__Symex.Make(Soteria.Bv_values.Bv_solver.Z3_solver).t) ->
  ('a -> 'b) ->
  ('b, 'c) Soteria_c_lib__Csymex.CSYMEX.Consumer.t

val frame_range : 
  t ->
  replace_node:(t -> (t, 'c) Soteria_c_lib__Csymex.CSYMEX.Consumer.t) ->
  rebuild_parent:
    ((MemVal.t, sint) tree ->
      left:t ->
      right:t ->
      Cerb_location.t ->
      ((MemVal.t, sint) tree * Cerb_location.t)
        Soteria__Symex.Make(Soteria.Bv_values.Bv_solver.Z3_solver).t) ->
  Range.t ->
  (t * t, 'c) Soteria_c_lib__Csymex.CSYMEX.Consumer.t