module Cstring: sig
.. end
String Literal
type
cst =
| |
C_str of string |
| |
W_str of int64 list |
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 : 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