Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- > let rec inv = function
- |[] -> true
- |m::ms' -> not(List.exists (fun x -> x=m) ms') || inv ms'
- inv[1;2;3;1];;
- val inv : _arg1:'a list -> bool when 'a : equality
- val it : bool = true
- > let rec inv = function
- |[] -> true
- |m::ms' -> not(List.exists (fun x -> x=m) ms') && inv ms'
- inv [1;2;3;1];;
- val it : bool = false
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement