module Trace_partitioning: sig .. end
sig
end
module Make: functor (Abstract : Abstractions.Eva) -> functor (Kf : sig val kf : Cil_types.kernel_functionend) -> sig .. end
functor (
Abstract
:
Abstractions.Eva
) ->
Kf
val kf : Cil_types.kernel_function
Cil_types.kernel_function
end) -> sig .. end