Use tagged GADT with better naming for the internals of `Dllist`

ocaml-multicore / kcas

Software Transactional Memory for OCaml

https://ocaml-multicore.github.io/kcas/

ISC License

109 stars 11 forks source link

Use tagged GADT with better naming for the internals of `Dllist` #181

Closed polytypic closed 10 months ago

polytypic commented 10 months ago

This PR changes the Dllist internals to use a tagged GADT and use clearer internal naming that corresponds to the external naming (i.e. use of left and right rather than previous and next).