Module Trace_partitioning

module Trace_partitioning: sig .. end
The states being partitioned

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