Authored by Martin Constantino–Bodin


Similar to read_option in LibHeap, having a nth_option when reading a list can be helpful. There are probably other ways to integrate this into TLC—typically by defining nth_def using nth_option.

nth_option.v 810 Bytes
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment