Module Wp.Cstring

module Cstring: sig .. end

type cst = 
| C_str of string (*
String Literal
*)
| W_str of int64 list (*
Wide String Literal
*)
val pretty : Format.formatter -> cst -> unit
val str_len : cst -> Wp.Lang.F.term -> Wp.Lang.F.pred
val str_val : cst -> Wp.Lang.F.term
The array containing all char of the constant
val str_id : cst -> int
Non-zero integer, unique for each different string literal
val char_at : cst -> Wp.Lang.F.term -> Wp.Lang.F.term
val cluster : unit -> Wp.Definitions.cluster
The cluster where all strings are defined.