Frama-C API - `Typed_memory`

val are_typ_compatible : Frama_c_kernel.Cil_types.typ -> Frama_c_kernel.Cil_types.typ -> bool

module type Config = sig ... end

module type Value = sig ... end

module Make (_ : Config) (Value : Value) : sig ... end

Frama-C API - Typed_memory