Newer
Older
inria-internship / examples / booleans3.ml
[@@@warning "-20"]
external observe : 'a -> 'b = "observe"

let f = function
  | true -> observe true
  | false -> observe false