equal
deleted
inserted
replaced
31 | CApp "co" "co" |
31 | CApp "co" "co" |
32 | CFun "char" "co_lst" |
32 | CFun "char" "co_lst" |
33 | CAll tv::"tvar" "ckind" C::"co" bind tv in C |
33 | CAll tv::"tvar" "ckind" C::"co" bind tv in C |
34 | CEq "co" "co" "co" |
34 | CEq "co" "co" "co" |
35 | CSym "co" |
35 | CSym "co" |
36 | CCir "co" "co" |
36 | CCir "co" "co" |
|
37 (* At ??? *) |
37 | CLeft "co" |
38 | CLeft "co" |
38 | CRight "co" |
39 | CRight "co" |
39 | CSim "co" |
40 | CSim "co" |
40 | CRightc "co" |
41 | CRightc "co" |
41 | CLeftc "co" |
42 | CLeftc "co" |