module STRING:Model.Generator
(
LITERAL
)
(
sig
val name :string
typekey =
MemTyped.LITERAL.t
typedata =
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
)
typekey =
D.key
typedata =
D.data
val get : G.MAP.key -> G.E.data