Frama-C API - Transfer_specification
Interpretation of function specification.
module type Engine_Subset = sig ... endSubset of Engine_sig.S required by this functor.
module Make (Engine : Engine_Subset) : Engine_sig.Transfer_specification with type state = Engine.Dom.t and type value = Engine.Val.t and type location = Engine.Loc.location