Unknown syntax error
The following program has an obvious syntax error but its compilation fails with the
message This is an unknown syntax error (79). Please report
, so here we go:
module Unknown
lemma err: x1 = (fun x2 -> let x3 = x4 in let x5 x6) -> true
end