59fa1834b615fd0299a5607e425ed9db0f8376e4Liam O'Reilly sort mySort < mySuper
59fa1834b615fd0299a5607e425ed9db0f8376e4Liam O'Reilly ops c : mySort;
59fa1834b615fd0299a5607e425ed9db0f8376e4Liam O'Reilly myFun : mySort -> mySuper
59fa1834b615fd0299a5607e425ed9db0f8376e4Liam O'Reilly pred p: mySort
59fa1834b615fd0299a5607e425ed9db0f8376e4Liam O'Reilly axioms myFun(c) = d;
59fa1834b615fd0299a5607e425ed9db0f8376e4Liam O'Reilly A = d -> myFun(d) -> [] x :: mySort -> x -> myFun(x) -> SKIP