module ShiftField:Model.Generator
(
Cil_datatype.Fieldinfo
)
(
sig
val name :string
typekey =
Cil_types.fieldinfo
typedata =
Lang.lfun
val generate :Cil_datatype.Fieldinfo.t -> Lang.lfun
val compile :Cil_datatype.Fieldinfo.t -> 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