For the most recent examples, see
krmllib/LowStar.Lib.* where many
“reference” data structures are now being added, including a linked list that’s
actually ready for general use in your programs. See also
test/Wireguard.fst for an example of a complex data structure that keeps
pointers to individual cells of a linked list.
For some easier, smaller examples, see the list below. LinkedList4 is a
simplified, earlier version of the reference