diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2013-11-11 14:00:38 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2013-11-11 14:00:38 +0000 |
| commit | 7110a56ab0c66a6aced52b5f2b7eb62503e6521a (patch) | |
| tree | 59c6d684172cc3a4958ca748e231e3733b8a61ef /stdlib | |
| parent | 5d379f7706d5039150d45b83a34ac3c97d68d532 (diff) | |
expand module aliases and type identifiers in "module type of"
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14282 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib')
0 files changed, 0 insertions, 0 deletions