home *** CD-ROM | disk | FTP | other *** search
/ Usenet 1994 January / usenetsourcesnewsgroupsinfomagicjanuary1994.iso / sources / unix / volume10 / ifp / part01 / fproot / demo / Member < prev    next >
Encoding:
Text File  |  1987-07-05  |  181 b   |  11 lines
  1. (*
  2.  * <S e> : Member -> #t if e is in sequence S, #f otherwise
  3.  *
  4.  * Examples:
  5.  *      <<a b c d> c> -> t
  6.  *      <<2 4 6 8> 3> -> f
  7.  *)
  8. DEF Member AS
  9.    distr | EACH = END | any;
  10.  
  11.