Frama-C API - Transfer_stmt
val current_kf_inout : unit -> Frama_c_kernel.Inout_type.t optionmodule type Engine_Subset = sig ... endSubset of Engine_sig.S required for this functor.
module Make (Engine : Engine_Subset) : Engine_sig.Transfer_stmt with type state = Engine.Dom.t