Commit 46d2acda authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2004-03-13 16:48:28 by beppe] Empty log message

Original author: beppe
Date: 2004-03-13 16:48:28+00:00
parent 29e010eb
...@@ -113,11 +113,12 @@ T($$int$$) = -1073741824 -- 1073741823 ...@@ -113,11 +113,12 @@ T($$int$$) = -1073741824 -- 1073741823
T($$string$$) = Latin1 T($$string$$) = Latin1
T($$unit$$) = [] T($$unit$$) = []
T($$%%t%%$$ $$->$$ $$%%u%%$$) = T($$%%t%%$$) -> T($$%%u%%$$) T($$%%t%%$$ $$->$$ $$%%u%%$$) = T($$%%t%%$$) -> T($$%%u%%$$)
T($$%%t%%$$ $$list$$) = [ T($$%%t%%$$)* ]
T($$A$$) = `A T($$A$$) = `A
T($$A of$$ $$%%t%%$$) = ( `A, T($$%%t%%$$) ) T($$A of$$ $$%%t%%$$) = ( `A, T($$%%t%%$$) )
| { u : T($$%%t%%$$) } if in positive (result) position | { u : T($$%%t%%$$) } if in covariant (result) position
T($${ u :$$ $$%%t%%$$ $$}$$) = < T($${ u :$$ $$%%t%%$$ $$}$$) = <
| {| u : T($$%%t%%$$) |} if in negative (argument) position | {| u : T($$%%t%%$$) |} if in contravariant (argument) position
]]></sample> ]]></sample>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment