% nil - empty sequence constructor
%
% nil :: void -> seq(_).
function s=nil, s=seq.nil; end

