open QuickCheck

let prop_revrev : 'a list -> bool =
  fun xs -> List.rev (List.rev xs) = xs

(* for generating random int lists *)
module AL = Arbitrary_list(Arbitrary_int) ;;
(* for printing out int lists *)
module SL = PShow_list(PShow_int) ;;
(* for being able to test (int list -> bool) *)
module Testable_list_to_bool =
  Testable_fun
    (AL)
    (SL)
    (Testable_bool) ;;
module C = Check(Testable_list_to_bool)
let () = C.quickCheck prop_revrev