Compiler/syntax analyzer: Difference between revisions
Content added Content deleted
m (→{{header|ATS}}) |
|||
| Line 1,713: | Line 1,713: | ||
typedef toktups_t (n : int) = list (tokentuple_t, n) |
typedef toktups_t (n : int) = list (tokentuple_t, n) |
||
typedef toktups_t = [n : nat] toktups_t n |
typedef toktups_t = [n : nat] toktups_t n |
||
typedef toktups_pos_t = [n : pos] toktups_t n |
|||
fn |
fn |
||