Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- and merge (left, right) =
- match (left, right) with
- | ([], _) -> right
- | (_, []) -> left
- | (h1::t1, h2::t2) -> if pred h1 h2 then h1::merge(t1, right) else h2::merge(left, t2)
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement