Define [nonempty_llist]. Use it to eliminate [simple_labeled_expr_list].
Define [nonempty_llist].
Use it to eliminate [simple_labeled_expr_list].

gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml