Module Export_trace_nts.INtstrace

module INtstrace: Expand_eldarica_compressed_bloc.Make(Ntsint.P)

module NFParam: sig .. end
val nts_out_trace : NFParam.nts_system ->
NFParam.nts_system ->
Trace_types.sys_control list ->
NFParam.nts_system
Computes the numerical transition system that corresponds to an execution trace on the subsystems define in a standard library --first parameter, a numerical transition system -- second parameter, an a trace.