Range (transformers.C_states.BlockTree.Range)

type t = Gillian.Gil_syntax.Expr.t * Gillian.Gil_syntax.Expr.t

val to_yojson : t -> Yojson.Safe.t

val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or

val _ : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or

val pp : 
  Stdlib.Format.formatter ->
  (Gillian.Gil_syntax.Expr.t * Gillian.Gil_syntax.Expr.t) ->
  unit

val make : 'a -> 'b -> 'a * 'b

module Lift : sig ... end

val of_low_and_chunk : 
  Gillian.Gil_syntax.Expr.t ->
  Chunk.t ->
  Gillian.Gil_syntax.Expr.t * Gillian.Gil_syntax.Expr.t

val of_low_chunk_and_size : 
  Gillian.Gil_syntax.Expr.t ->
  Chunk.t ->
  Gillian.Gil_syntax.Expr.t ->
  Gillian.Gil_syntax.Expr.t * Gillian.Gil_syntax.Expr.t

val is_equal : 
  (Gillian.Gil_syntax.Expr.t * Gillian.Gil_syntax.Expr.t) ->
  (Gillian.Gil_syntax.Expr.t * Gillian.Gil_syntax.Expr.t) ->
  Gillian.Gil_syntax.Expr.t

val is_inside : 
  (Gillian.Gil_syntax.Expr.t * Gillian.Gil_syntax.Expr.t) ->
  (Gillian.Gil_syntax.Expr.t * Gillian.Gil_syntax.Expr.t) ->
  Gillian.Gil_syntax.Expr.t

val size : 
  (Gillian.Gil_syntax.Expr.t * Gillian.Gil_syntax.Expr.t) ->
  Gillian.Gil_syntax.Expr.t

val point_strictly_inside : 
  Gillian.Gil_syntax.Expr.t ->
  (Gillian.Gil_syntax.Expr.t * Gillian.Gil_syntax.Expr.t) ->
  Gillian.Gil_syntax.Expr.t

val split_at : ('a * 'b) -> 'c -> ('a * 'c) * ('c * 'b)

val lvars : (Gillian.Gil_syntax.Expr.t * Gillian.Gil_syntax.Expr.t) -> SS.t

val alocs : (Gillian.Gil_syntax.Expr.t * Gillian.Gil_syntax.Expr.t) -> SS.t

val substitution : le_subst:('a -> 'b) -> ('a * 'a) -> 'b * 'b

val is_concrete : 
  (Gillian.Gil_syntax.Expr.t * Gillian.Gil_syntax.Expr.t) ->
  bool