[nimh-dev] sequence definition

[Joel Uckelman <uckelman@xxxxxxxxx>]

I think this exhaustively defines what counts as a sequence:

x is a unit sequence iff:
1. x = first|last|cur|.|prev|next|new, or
2. x \in N\{0}

x is a sequence iff:
1. x is a unit sequence, or
2. x = y-z where y,z are unit sequences, or
3. x = y:z where y is a unit or user-defined sequence and z \in Z\{0}, or
4. x = all|pseq|unseen, or
5. x = !y where y is a sequence, or
6. x = s_0 ... s_n for sequences s_0,...,s_n, or
7. x is a user-defined name for a sequence y, or
8. x = y:(first|last|next|prev) where y is a user-defined name for a 
sequence

I gleaned this from the man page for mh-sequence. Do you guys see anything 
I missed, or anything incorrect, or anything you'd like to add right now?

-- 
J.


_______________________________________________
nimh-dev mailing list
nimh-dev@xxxxxxxxxxx
http://lists.ellipsis.cx/mailman/listinfo/nimh-dev