C Linked lists in QM

[Gintaras]

1. The C typedef defines 2 names for the same struct - node and t_node. You don't need 2 names. Your type declaration is correct. When need a typedef:

type node int'val node*next
type node_t :node ;;like C typedef

2. Correct. C while translates to rep+if.