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