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

And

And maps a path prefix consisting exclusively of booleans to the boolean true symbol if it only contains boolean true symbols, and to the boolean false symbol otherwise. The rest of the path is returned unchanged.

    And:
        <>  == 1 Idem
        <0> == 0 Strip:<>
        <1> == And:<>.
    
    Strip:
        <>  == Idem
        <0> == Strip:<>
        <1> == Strip:<>.
    
    And:<1 0 0 1 0> = 0.
    And:<1 1 1 1 1> = 1.
    And:<1 1 1 1 1 foo 0> = 1 foo 0.


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

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