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