This commit is contained in:
Simon Cruanes 2023-06-24 16:05:49 -04:00
parent 979eca042c
commit ad10cdc9d5
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -1,6 +1,7 @@
module T = (val Containers_testlib.make ~__FILE__ ())
include T
open CCString.Stdlib;;
open CCString
open Stdlib;;
q Q.printable_string (fun s -> s = rev (rev s));;
q Q.printable_string (fun s -> length s = length (rev s));;