StringIndex (transformers.Prebuilt.JSIL.StringIndex)

include module type of struct include Prebuilt.Utils.StringIndex end

val mode : States.PMap.index_mode

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

val make_fresh : unit -> Gillian.Gil_syntax.Expr.t Gillian.Monadic.Delayed.t

val default_instantiation : Gillian.Gil_syntax.Expr.t list