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