more tests

This commit is contained in:
Simon Cruanes 2015-09-27 19:20:01 +02:00
parent fe0169f0b6
commit 6723c8283c

View file

@ -201,6 +201,7 @@ val unlines_gen : string gen -> string
(*$Q
Q.printable_string (fun s -> unlines (lines s) = s)
Q.printable_string (fun s -> unlines_gen (lines_gen s) = s)
*)
val set : string -> int -> char -> string