equal
deleted
inserted
replaced
297 String N, P WHERE |
297 String N, P WHERE |
298 X is Person, X name N, X first_name P |
298 X is Person, X name N, X first_name P |
299 |
299 |
300 |
300 |
301 Note: You can not specify several types with * ... where X is FirstType or X is SecondType*. |
301 Note: You can not specify several types with * ... where X is FirstType or X is SecondType*. |
302 To specify several types explicitely, you have to do |
302 To specify several types explicitly, you have to do |
303 |
303 |
304 :: |
304 :: |
305 |
305 |
306 Any X where X is in (FirstType, SecondType) |
306 Any X where X is in (FirstType, SecondType) |
307 |
307 |