Module Cstring.LIT

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)

module G: Model.Index(sig
include K
include D
end)
type key = D.key 
type data = D.data 
val get : G.MAP.key -> G.E.data