let x : int = 3;;
let y : bool = false;;
let y : bool = true in not y;;
# ((x = 5) = y);;