MyUtils (transformers.States.MyUtils)

module type IDs = sig ... end

type ided =

| ID1 of string
| ID2 of string
| NotIDed of string

val str_rem_length : string -> int -> string

module Identifier (I : IDs) : sig ... end

val pp_bindings : 
  pp_k:(Stdlib.Format.formatter -> 'a -> unit) ->
  pp_v:(Stdlib.Format.formatter -> 'b -> unit) ->
  (('a -> 'b -> unit) -> 'c -> unit) ->
  Stdlib.Format.formatter ->
  'c ->
  unit

module type SymExprMap = sig ... end

module ExpMapMake (Check : sig ... end) : SymExprMap

module ExpMap : SymExprMap

module ExpMapEnt : SymExprMap

val pp_opt : 
  (Stdlib.Format.formatter -> 'a -> unit) ->
  Stdlib.Format.formatter ->
  'a option ->
  unit

val deep_map : ('a -> 'b) -> 'a list list -> 'b list list

val get_loc : 
  Gillian.Gil_syntax.Expr.t ->
  Gillian.Gil_syntax.ALoc.t option Monadic.Delayed.t

Faster than Delayed.resolve_loc, attempts to resolve a location. This may result in extending the path condition. Returns None if the input can definitely not be a location.

module SMap : sig ... end

val bind_vanish_on_err : 
  ('a, 'e) Stdlib.result Gillian.Monadic.Delayed.t ->
  ('a -> 'b Gillian.Monadic.Delayed.t) ->
  'b Gillian.Monadic.Delayed.t

module Syntax : sig ... end