module Shift:Model.Generator
(
sig
typet =
Ctypes.c_object
val pretty :Format.formatter -> Ctypes.C_object.t -> unit
val compare :Ctypes.c_object -> Ctypes.c_object -> int
end
)
(
sig
val name :string
typekey =
Ctypes.c_object
typedata =
Lang.lfun
val c_object_id :Ctypes.c_object -> string
val c_object_id :Ctypes.c_object -> string
val generate :Ctypes.c_object -> Lang.lfun
val compile :Ctypes.c_object -> Lang.lfun
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