doc-src/Tutorial/Ifexpr/valif
changeset 5377 efb799c5ed3c
equal deleted inserted replaced
5376:60b31a24f1a6 5377:efb799c5ed3c
       
     1 consts valif :: ifex => (nat => bool) => bool
       
     2 primrec
       
     3 "valif (CIF b)    env = b"
       
     4 "valif (VIF x)    env = env x"
       
     5 "valif (IF b t e) env = (if valif b env then valif t env
       
     6                                         else valif e env)"