Module Cstring

module Cstring: sig .. end
String Literal

Since its a generated it is the unique name given "Lit_%04X" id


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 -> Lang.F.term -> Lang.F.pred
val str_val : cst -> 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 -> Lang.F.term -> Lang.F.term
val cluster : unit -> Definitions.cluster
The cluster where all strings are defined.