We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
We must be able to deduce from...
pi1: r ** x [x < Val, r << {R(x, _), R(x * _, _)}]
... that, when pi1 is applied to R(Obj * Loc, A), we get Obj: x = Obj * Loc would not satisfy.
pi1
R(Obj * Loc, A)
Obj
x = Obj * Loc
The text was updated successfully, but these errors were encountered:
Workaround for types that will be deprecated.
e264e53
CCT types like `R3(x, y, z)` will eventually turn into `R(x * z, y)`, but for now we need a workaround; see also quangis/transforge#92
No branches or pull requests
We must be able to deduce from...
... that, when
pi1
is applied toR(Obj * Loc, A)
, we getObj
:x = Obj * Loc
would not satisfy.The text was updated successfully, but these errors were encountered: