Functor Expand_eldarica_compressed_bloc.Make

module Make: 
functor (Param : Nts_functor.NTS_PARAM) -> sig .. end
Parameters:
Param : Nts_functor.NTS_PARAM

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.