Module MemTyped.ShiftField

module ShiftField: Model.Generator(Cil_datatype.Fieldinfo)(sig

val name : string
type key = Cil_types.fieldinfo 


type data = 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)

type key = D.key 

type data = D.data 

val get : G.MAP.key -> G.E.data