Searched defs:mkCondTree (Results 1 – 5 of 5) sorted by relevance
220 mkCondTree x = CondNode x [] [] function226 mkCondTree' f x = (f x, CondNode x [] []) function
226 mkCondTree x = CondNode x [] [] function232 mkCondTree' f x = (f x, CondNode x [] []) function
216 mkCondTree x = CondNode x [] [] function222 mkCondTree' f x = (f x, CondNode x [] []) function
217 mkCondTree x = CondNode x [] [] function223 mkCondTree' f x = (f x, CondNode x [] []) function