let a1 = { a = Pre 1; b = Abs };;
let a2 = { a = Pre 1; b = Pre true };;