Frame_range (soteria-c.Soteria_c_lib.Csymex.Tree_block.Tree.Frame

Parameters

module M : sig ... end

Signature

val (let*) : ('a, 'b, 'c) M.t -> ('a -> ('d, 'b, 'c) M.t) -> ('d, 'b, 'c) M.t

val (let+) : ('a, 'b, 'c) M.t -> ('a -> 'd) -> ('d, 'b, 'c) M.t

val (let*^) : 'a CSYMEX.t -> ('a -> ('b, 'c, 'd) M.t) -> ('b, 'c, 'd) M.t

val (let+^) : 'a CSYMEX.t -> ('a -> 'b) -> ('b, 'c, 'd) M.t

val frame_range : 
  t ->
  replace_node:(t -> (t, 'b, 'c) M.t) ->
  rebuild_parent:
    ((MemVal.t, sint) tree ->
      left:t ->
      right:t ->
      (MemVal.t, sint) tree CSYMEX.t) ->
  Range.t ->
  (t * t, 'b, 'c) M.t