# LinkedList module for temporal logic

**URL:** <https://alloytools.discourse.group/t/linkedlist-module-for-temporal-logic/393>\
**Category:** Alloy 6\
**Created:** [August 19, 2023, 4:09pm UTC](https://alloytools.discourse.group/t/linkedlist-module-for-temporal-logic/393 "2023-08-19T16:09:03Z")\
**Posts on this page:** 2\
**Page:** 1

<div class="post-metadata">

**Author:** ![MATIX](https://avatars.discourse-cdn.com/v4/letter/m/bc79bd/32.png) [@MATIX](https://alloytools.discourse.group/u/MATIX)\
**Post date:** [August 19, 2023, 4:09pm UTC](https://alloytools.discourse.group/t/linkedlist-module-for-temporal-logic/393/1 "2023-08-19T16:09:03Z")

</div>

Hi everyone,

I would like to share a [linked list implementation for temporal logic](https://github.com/MATIX-digital/Alloy_LinkedList) with you. Maybe someone can use it for himself, develop it further or improve it.  
It supports basic list functions.

The number of checks can be expanded ;).

One problem with the current implementation is that a list cannot contain the same object twice. A possible solution can be found in the comments of the code.  
For my use case the list worked great like this.

---

<div class="post-metadata">

**Author:** ![grayswandyr](https://yyz2.discourse-cdn.com/free1/user_avatar/alloytools.discourse.group/grayswandyr/32/17_2.png) [@grayswandyr](https://alloytools.discourse.group/u/grayswandyr)\
**Post date:** [September 4, 2023, 8:12am UTC](https://alloytools.discourse.group/t/linkedlist-module-for-temporal-logic/393/2 "2023-09-04T08:12:41Z")

</div>

How is it related to the standard lib modules for sequences (`sequence`, `seqrel` and `sequniv`, the latter working with the `seq` keyword)?