Module Expand_eldarica_compressed_bloc

module Expand_eldarica_compressed_bloc: sig .. end
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.

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