2-input AND Gate - Bluespec-systemverilog Typing CST Test