locally finite total order

Stream: general

[Yaël Dillies]

Can anybody explain me what the locally finite total order in the TODO of data.list.intervals means? I don't really get what they mean by a list model. Is it simply a sorted list enumerating the elements?

[Bryan Gin-ge Chen]

Looks like the TODO was added by @Scott Morrison in #795, see this comment.