Frama-C API - Trace_partitioning
module Make (Abstract : Engine_abstractions_sig.S) (_ : sig ... end) : sig ... end
Frama-C Frama-C Trace_partitioningmodule Make (Abstract : Engine_abstractions_sig.S) (_ : sig ... end) : sig ... end