complex_arg_1.mlw 149 Bytes
Newer Older
1

2 3
exception Exception

4
val f0 (tt:unit) : unit
5

6
val f1 (_tt:unit) : unit raises { Exception }
7

8 9 10
let f ()
  raises { Exception -> true }
  = f0 (f1 ())