6 lines
172 B
Text
6 lines
172 B
Text
|
if2 : Bool -> Bool -> Lazy a -> Lazy a -> Lazy a -> Lazy a -> a
|
||
|
|
if2 True True v _ _ _ = v
|
||
|
|
if2 True False _ v _ _ = v
|
||
|
|
if2 False True _ _ v _ = v
|
||
|
|
if2 _ _ _ _ _ v = v
|