module LIT:Model.Generator
(
STR
)
(
sig
typekey =
Cstring.cst
typedata =
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
)
typekey =
D.key
typedata =
D.data
val get : G.MAP.key -> G.E.data