[<<][staapl][>>][..]
Sat Jul 5 10:41:02 CEST 2008

automatic lifting

Some of the lifting operations can be automated: U and B can be
inferred from the arity of the operation. X and Y need to be
specified.




[Reply][About]
[<<][staapl][>>][..]