Skip to content

Remove C_LIST_HEAD_OPT / C_LIST_TAIL_OPT

E. Rivasrequested to merge
er433/stdlib/remove-list-head/tail into dev

type:internal

For LIGO developers

Simple operators that are not needed anymore, we can write them internally using match.

Changelog details:

Merge request reports