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