Module Trace_partitioning

module Trace_partitioning: sig .. end
The states being partitioned

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_function
end-> sig .. end