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: