Thomas Gazagnaire

Just need to be careful here as we might like to keep the semantics of `fold` independent of the caching strategy: e.g. it would be a bit confusing if `Tree.fold...

This needs a new scheduling label.

I really like the new proposal. One more potential issue that is that it's sometime useful to fix a version when pinning a package. As it sometimes happens that pinning...

> @samoht can you clarify when you say "fix a version" do you mean a git revision/tag? I mean that it's pretty common for me to do `opam pin ....

Yea I meant that it would be nice if that new syntax (that I like!) would also allow to specify the version.

> and upstream opam-depext will support it. And you have to modify all packages descriptions that require external dependencies. I think that's a very good idea. We started to add...

Aslo I am not very familiar with the codebase, so if you happen to know how to implement that easily, feel free to suggest how to do it :-)

I am not sure functoria should generate that merlin file anymore as as dune will do it for us anyway. It's probably the responsibility of the unikernel build system to...

@CraigFe or @icristescu would you be interested to look at this feature request?

As a side note: @let-def cleverly noticed that the shape of the data files is exactly the binary representation of the number of merges, where 1 is in position `n`...