Module MemTyped.STRING

module STRING: Model.Generator(LITERAL)(sig
val name : string
type key = MemTyped.LITERAL.t 
type data = Lang.F.term 
val linked : string -> Lang.F.term -> Cstring.cst -> unit
val region : string -> Lang.F.term -> Cstring.cst -> unit
val sconst : string -> Lang.F.term -> Cstring.cst -> unit
val compile : int * Cstring.cst -> 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