UniTO/tesi/traces/example0.ml

8 lines
135 B
OCaml
Raw Permalink Normal View History

2020-06-30 14:07:10 +02:00
external observe : 'a -> 'b = "observe"
let mm = function
| 2 -> observe 2
| 3 -> observe 3
| 4 -> observe 4
| _ -> observe 5