Module Test.String
Parameters
T : TESTQ : QUICKCHECK with type t = T.testA : ARBITRARY with type t = string and type 'a arbitrary = 'a Q.arbitrary
Signature
module M : sig ... endmodule Semigroup : sig ... endmodule Monoid : sig ... endmodule Quasigroup : sig ... endmodule Loop : sig ... endmodule Eq : sig ... endmodule Ord : sig ... end