module Cstring:sig
..end
type
cst =
| |
C_str of |
(* |
String Literal
| *) |
| |
W_str of |
(* |
Wide String Literal
| *) |
val pretty : Format.formatter -> cst -> unit
val str_len : cst -> Wp.Lang.F.term -> Wp.Lang.F.pred
\0
terminator included.val str_val : cst -> Wp.Lang.F.term
char
of the constantval str_id : cst -> int
val char_at : cst -> Wp.Lang.F.term -> Wp.Lang.F.term
val cluster : unit -> Wp.Definitions.cluster