module Trace_partitioning: sig .. end
sig
end
module Make: functor (Abstract : Abstractions.Eva) -> functor (Transfer : Transfer_stmt.S with type state = Abstract.Dom.t) -> functor (Kf : sig val kf : Cil_types.kernel_functionend) -> sig .. end
functor (
Abstract
:
Abstractions.Eva
) ->
Transfer
Transfer_stmt.S
with type state = Abstract.Dom.t
Kf
val kf : Cil_types.kernel_function
Cil_types.kernel_function
end) -> sig .. end