[sv-bc] What is the type of a slice?

According to 7.4.6 of IEEE Std 1800-2012, "The term slice refers to a selection of one or more contiguous elements of an array."

What is the $left() of the type of a slice? For example, in the following, is the output 0, 4, or something else?

module test#(parameter type WORD = byte, parameter int N = 256)
  (output int out);
  typedef WORD T[N];
  var T A;
  bot#(type(A[4:19])) bot(out);
  initial begin
    #1 $display(out);
  end
endmodule:test

module bot#(parameter type T)
  (output int out);
  assign out = $left(T);
endmodule:bot

-- Brad


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.