Compiler/syntax analyzer: Difference between revisions

m
Line 1,713:
typedef toktups_t (n : int) = list (tokentuple_t, n)
typedef toktups_t = [n : nat] toktups_t n
typedef toktups_pos_t = [n : pos] toktups_t n
 
fn
1,448

edits