diff options
| -rw-r--r-- | test/dtypes.ml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/test/dtypes.ml b/test/dtypes.ml index e3e4c7f2d4..b6c38c5d0f 100644 --- a/test/dtypes.ml +++ b/test/dtypes.ml @@ -17,6 +17,9 @@ let iteri f = in aux 0 +(* An extensible printer of dynamic values. It fails by default on + abstract values but it can be extended to deal with them. *) + let printers = ref [] let add_printer f = printers := f :: !printers @@ -118,6 +121,7 @@ let () = () +(* An universal variant type. *) type variant = | V_int of int @@ -250,7 +254,7 @@ let () = () - +(* Demonstrating custom abstract type. *) module MyModule : sig type t |