Extraction: syntax error in generated ML file
Extraction of the following code produces a ML file with wrong syntax. Probably missing parentheses around let-expressions
use import int.Int
type t = A int int
let f (x:t) : t =
match x with
| A x y -> A (let z = x+y in z) x
end