module Cstring:sig
..end
Since its a generated it is the unique name given "Lit_%04X" id
type
cst =
| |
C_str of |
(* |
String Literal
| *) |
| |
W_str of |
(* |
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
char
of the constantval str_id : cst -> int
val char_at : cst -> Lang.F.term -> Lang.F.term
val cluster : unit -> Definitions.cluster