My understanding is that Core_kernel is the subset of Core suitable for compilation to JS, however the module Interval is not available in Core_kernel. I’m wondering why that is. What is the best option to use that functionality in a js_of_ocaml project?
Unfortunately, there’s no good way of using it until it is moved to Core_kernel. This wasn’t initially possible because Interval has some direct support for Time, and Time wasn’t initially in Core_kernel. But it is now, so we can move it. That’s on our list of cleanups for Core, but it’s not coming immediately, I’m afraid.
y