On Sat, 24 Apr 2021 20:56:56 +0100, "Sean Charles (emacstheviking)" <objitsu at gmail.com> wrote: > But I don’t know what type to make `Options`. That type should have one alternative for each of the options of your program. There are several examples of how to use getopt in the extras directory. Have a look at them. Zoltan.