Changes between Version 2 and Version 3 of IntermediateTypes


Ignore:
Timestamp:
Aug 4, 2006 11:00:17 AM (9 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • IntermediateTypes

    v2 v3  
    1111form T1 :=: T2. (c :: T1 :=: T2) is a proof that a term of type T1 
    1212can be coerced to type T2.  It is used as argument of a cast 
    13 expression; if t :: T1} then (t `cast` c) :: T2. 
     13expression; if t :: T1 then (t `cast` c) :: T2. 
    1414 
    1515