Module Trace_partitioning

module Trace_partitioning: sig .. end

module Make: 
functor (Abstract : Abstractions.Eva) -> 
functor (Kf : sig

val kf : Cil_types.kernel_function

end) -> sig .. end