diff options
| author |  Pierre Letouzey <pierre.letouzey@inria.fr> | 2015-01-10 12:10:13 +0100 |
|---|---|---|
| committer | Pierre Letouzey <pierre.letouzey@inria.fr> | 2015-01-11 09:56:39 +0100 |
| commit | ee596bc23be6a95f939169cc8daa132a2c172bbd (patch) | |
| tree | b985418e1a9b75e6c054cf9571b572ea0ed04c6e /toplevel/himsg.ml | |
| parent | edf85b925939cb13ca82a10873ced589164391da (diff) | |
Extraction: discard code unnecessary to fulfill a module signature
Diffstat (limited to 'toplevel/himsg.ml')
0 files changed, 0 insertions, 0 deletions