previous up contents next
Left: Or Up: Standard library function functions Right: Member

Equal

Equal prefixes paths whose first two elements are identical with 1, and all other paths with 0.

    Equal:
       <> == 0 Idem
       <$x $x> == 1 Idem.
    
    Equal:<a b c> = 0 a b c.
    Equal:<b b c> = 1 b b c.


---------------------------------------------------------

Copyright © Roger Evans, Gerald Gazdar & Bill Keller, Tuesday 10 November 1998