Module Cstring

module Cstring: sig .. end
Since its a generated it is the unique name given "Lit_%04X" id

String Literal


type cst = 
| C_str of string (*String Literal*)
| W_str of int64 list (*Wide String Literal*)
module STR: sig .. end
val pretty : Format.formatter -> cst -> unit
val cluster : unit -> Definitions.cluster
The cluster where all strings are defined.
module LIT: Model.Generator(STR)(sig
type key = Cstring.cst 
type data = int * Lang.F.term 
val name : string
val hid : (int, unit) Hashtbl.t
val lookup : int -> int
val export_literal : string -> Lang.F.Fun.t -> string -> unit
val compile : Cstring.STR.t -> int * Lang.F.term
end)
val str_id : LIT.key -> int
Non-zero integer, unique for each different string literal
val str_val : LIT.key -> Lang.F.term
The array containing all char of the constant
val str_len : cst -> Lang.F.term -> Lang.F.pred
val char_at : LIT.key -> Lang.F.term -> Lang.F.term