1
2
svc_test = SVC_Oracle +
3
4
syntax
5
"<->" :: [bool, bool] => bool (infixr 25)
6
7
translations
8
"x <-> y" => "x = y"
9
10
end