File: order.pn

package info (click to toggle)
maria 1.3.5-1
  • links: PTS
  • area: main
  • in suites: etch, etch-m68k, lenny
  • size: 3,952 kB
  • ctags: 5,458
  • sloc: cpp: 43,402; yacc: 8,080; sh: 460; ansic: 436; lisp: 395; makefile: 292; perl: 21
file content (5 lines) | stat: -rw-r--r-- 109 bytes parent folder | download | duplicates (6) 
1
2
3
4
5
 
typedef unsigned (1..80000) ordered_t;

place l ordered_t: <ordered_t;

trans t in { l: l; } out { l: +l; };