The point of this is that we have to add type inference via Statix to be able to correctly generate OCaml. So it's motivation to get Statix working.
No due date set.
This issue currently doesn't have any dependencies.
Deleting a branch is permanent. It CANNOT be undone. Continue?
The point of this is that we have to add type inference via Statix to be able to correctly generate OCaml. So it's motivation to get Statix working.