ocaml-bindlib icon indicating copy to clipboard operation
ocaml-bindlib copied to clipboard
verified publisher icon rlepigre

WIP: Integer set as union of intervals in a balanced tree.

Open rlepigre opened this issue 4 years ago • 2 comments

We could use this data structure to have more precise contexts at a small cost. Not sure we want to do that right now, I think I'd prefer keeping the code base small.

rlepigre avatar Feb 26 '22 18:02 rlepigre

Yes I agree, I think sets we use are rather small in general. May be not worth it.

craff avatar Feb 18 '23 22:02 craff

OK, let's keep this open for now.

rlepigre avatar Feb 19 '23 11:02 rlepigre