module Make: functor (Param : Nts_functor.NTS_PARAM) -> sig .. end
functor (
Param
:
Nts_functor.NTS_PARAM
) ->
sig
end
module NFParam: 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