Module MemTyped.BASE

module BASE: Model.Generator(Cil_datatype.Varinfo)(sig
val name : string
type key = Cil_types.varinfo 
type data = Lang.F.term 
val region : string -> Cil_types.varinfo -> Lang.F.term -> unit
val linked : string -> Cil_types.varinfo -> Lang.F.term -> unit
val generate : Cil_types.varinfo -> Lang.F.term
val compile : Cil_types.varinfo -> Lang.F.term
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