Module Raw_signal_manager.Signal

module Signal: Core.Std.Signal