GitLab

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