Module Typed_memory

module Typed_memory: sig .. end

val are_typ_compatible : Cil_types.typ -> Cil_types.typ -> bool
module type Config = sig .. end
module type Value = sig .. end
module Make: 
functor (Config : Config-> 
functor (Value : Value-> sig .. end