Module MemTyped.Shift

module Shift: Model.Generator(sig
type t = 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
type key = Ctypes.c_object 
type data = 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)
type key = D.key 
type data = D.data 
val get : G.MAP.key -> G.E.data