Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84; site brl-tgr.ARPA
Path: utzoo!watmath!clyde!burl!ulysses!allegra!mit-eddie!think!harvard!seismo!brl-tgr!gwyn
From: gwyn@brl-tgr.ARPA (Doug Gwyn )
Newsgroups: net.lang.c
Subject: Re: Cryptic C code?
Message-ID: <710@brl-tgr.ARPA>
Date: Thu, 15-Aug-85 04:40:30 EDT
Article-I.D.: brl-tgr.710
Posted: Thu Aug 15 04:40:30 1985
Date-Received: Sun, 18-Aug-85 04:53:52 EDT
References: <359@tektools.UUCP> <32700002@siemens.UUCP>
Organization: Ballistic Research Lab
Lines: 7

Well, yes, but.  Abstract objects (such as input data streams)
can have more than one interesting predicate.  What would
testing for the "truth" of such an object mean?  Clearly you
would have to include a (predicate) selection operation, and
that isn't notably different from just writing the boolean
expression (predicate) that one has in mind.  Just packaged
differently.