diff options
author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2010-02-18 08:53:43 +0000 |
---|---|---|
committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2010-02-18 08:53:43 +0000 |
commit | c9d97921ca5fed20778c0d49bbe7cb728502ef76 (patch) | |
tree | 4d91efe078cf33471b2169be3b7a78cd85669e3c | |
parent | 0984e01974ab8ff7210d734e0f5ceeebcb655ce0 (diff) | |
download | ocaml-c9d97921ca5fed20778c0d49bbe7cb728502ef76.tar.gz |
a few examples
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/sigsubst@9630 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r-- | testlabl/sigsubst.ml | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/testlabl/sigsubst.ml b/testlabl/sigsubst.ml new file mode 100644 index 0000000000..37476781b1 --- /dev/null +++ b/testlabl/sigsubst.ml @@ -0,0 +1,27 @@ +module type Printable = sig + type t + val print : Format.formatter -> t -> unit +end +module type Comparable = sig + type t + val compare : t -> t -> int +end +module type PrintableComparable = sig + type t + include Printable with type t := t + include Comparable with type t := t +end +module type PrintableComparable2 = sig + include Printable + include Comparable with type t := t +end + +module type S = sig type t val f : t -> t end +module type S' = S with type t := int + +module type S = sig type 'a t val map : ('a -> 'b) -> 'a t -> 'b t end +module type S' = S with type t := list +module type S' = sig + type 'a dict = (string * 'a) list + include S with type t := dict +end |