Add variance indicator to type.
authorKim Nguyễn <kn@lri.fr>
Thu, 16 Feb 2012 01:46:18 +0000 (02:46 +0100)
committerKim Nguyễn <kn@lri.fr>
Thu, 16 Feb 2012 01:46:18 +0000 (02:46 +0100)
commita4b9c7188c2169eddaeabe66a5706a4ec1b6872d
tree288ca504e73e849eac0bd7d73f349b9d175c3843
parent17afdb3ccb907d179f65220d5baea45ad532fc91
Add variance indicator to type.
src/node.ml
src/node.mli