5 lines
172 B
Text
5 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
|