Frama-C API - `Abstract_structure`

module type Config = sig ... end

module type Structure = sig ... end

module Make (_ : Config) (M : Abstract_memory.ProtoMemory) : Structure with type submemory = M.t

module type Disjunction = sig ... end

module Disjunction (M : Abstract_memory.ProtoMemory) (S : Structure with type submemory = M.t) : Disjunction with type submemory = M.t and type structure = S.t

Frama-C API - Abstract_structure

Frama-C API - `Abstract_structure`