diff options
Diffstat (limited to 'ocaml-binary-annot/testsuite/tests/basic-private/length.mli')
| -rw-r--r-- | ocaml-binary-annot/testsuite/tests/basic-private/length.mli | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/ocaml-binary-annot/testsuite/tests/basic-private/length.mli b/ocaml-binary-annot/testsuite/tests/basic-private/length.mli new file mode 100644 index 0000000000..2215ec8f77 --- /dev/null +++ b/ocaml-binary-annot/testsuite/tests/basic-private/length.mli @@ -0,0 +1,13 @@ +(* $Id: length.mli 8482 2007-11-06 21:06:18Z weis $ + +A testbed file for private type abbreviation definitions. + +We define a Length module to implement positive integers. + +*) + +type t = private int;; + +val make : int -> t;; + +external from : t -> int = "%identity";; |