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