interface DumpFSM_ifc;
:
  interface Uart_ifc uart_ifc; // サブインターフェースの宣言
endinterface

   // Uartインタフェースのうち、外部端子に出るもののみを定義
   interface Uart_ifc uart_ifc;
      method Bit#(1) sout; // serial output
         return uart.sout;
      endmethod
      method Action sin(Bit#(1) nidata); // serial input
         uart.sin(nidata);
      endmethod
      method Bool pdone;
         return uart.pdone;
      endmethod
      method Bool gdone;
         return uart.gdone;
      endmethod
   endinterface

$ bsc -sim DumpFSM.bsv
Warning: "DumpFSM.bsv", line 208, column 14: (T0054)
  Field not defined: `read'
Warning: "DumpFSM.bsv", line 208, column 14: (T0054)
  Field not defined: `write'
Elaborated module file created: mkDumpFSM.ba