An equivalent (shorter) definition of [separated_or_terminated_nonempty_list].
An equivalent (shorter) definition of [separated_or_terminated_nonempty_list].

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