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