02-03-2019, 06:31 PM
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.
type node int'val node*next
type node_t :node ;;like C typedef
2. Correct. C while translates to rep+if.