Frama-C API - `Interferences`

type thread_id = int

module type Engine_Subset = sig ... end

Subset of Engine_sig.S required by this functor.

module Make (Engine : Engine_Subset) : Engine_sig.Interferences with type state = Engine.Dom.t

Frama-C API - Interferences