Producer_frame_range (soteria-c.Soteria_c_lib.Ctree_block.Tree.Producer_frame

val (let*) : 
  'a Soteria_c_lib__Csymex.CSYMEX.Producer.t ->
  ('a -> 'b Soteria_c_lib__Csymex.CSYMEX.Producer.t) ->
  'b Soteria_c_lib__Csymex.CSYMEX.Producer.t

val (let+) : 
  'a Soteria_c_lib__Csymex.CSYMEX.Producer.t ->
  ('a -> 'b) ->
  'b Soteria_c_lib__Csymex.CSYMEX.Producer.t

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

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

val frame_range : 
  t ->
  replace_node:(t -> t Soteria_c_lib__Csymex.CSYMEX.Producer.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) Soteria_c_lib__Csymex.CSYMEX.Producer.t