module Typed_memory: sig .. end
sig
end
val are_typ_compatible : Cil_types.typ -> Cil_types.typ -> bool
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
functor (
Config
:
) ->
Value