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