module Cstring:sig
..end
"Lit_%04X" id
String Literal
type
cst =
| |
C_str of |
(* | String Literal | *) |
| |
W_str of |
(* | Wide String Literal | *) |
module STR:sig
..end
val pretty : Format.formatter -> cst -> unit
val cluster : unit -> Definitions.cluster
module LIT:Model.Generator
(
STR
)
(
sig
typekey =
Cstring.cst
typedata =
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
val str_val : LIT.key -> Lang.F.term
char
of the constantval str_len : cst -> Lang.F.term -> Lang.F.pred
val char_at : LIT.key -> Lang.F.term -> Lang.F.term