Changes in src/examples/ctxts.c [4040425:58b5d03]

File:

• src/examples/ctxts.c (modified) (1 diff)

src/examples/ctxts.c

@@ -10 +10 @@
 // Created On       : Wed May 27 17:56:53 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Wed Mar  2 18:10:21 2016
-// Update Count     : 3
+// Last Modified On : Fri Jun 10 15:18:33 2016
+// Update Count     : 4
 //
 
-trait has_f( type T ) {
+trait has_f( otype T ) {
         T f( T );
 };
 
-trait has_g( type U | has_f( U ) ) {
+trait has_g( otype U | has_f( U ) ) {
         U g( U );
 };
 
-forall( type V | has_g( V ) ) void h( V );
+forall( otype V | has_g( V ) ) void h( V );
 
 // Local Variables: //