module INtstrace: Expand_eldarica_compressed_bloc.Make(Ntsint.P)
Expand_eldarica_compressed_bloc.Make
(
Ntsint.P
)
module NFParam: sig .. end
sig
end
val nts_out_trace : NFParam.nts_system -> NFParam.nts_system -> Trace_types.sys_control list -> NFParam.nts_system
NFParam.nts_system -> NFParam.nts_system -> Trace_types.sys_control list -> NFParam.nts_system