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.
No dependencies set.
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.