Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | mpr7852.mli | 181 | logplain |
-rw-r--r-- | sig_local_aliases.ml | 2228 | logplain |
-rw-r--r-- | sig_local_aliases_syntax_errors.compilers.reference | 946 | logplain |
-rw-r--r-- | sig_local_aliases_syntax_errors.ml | 562 | logplain |
-rw-r--r-- | sigsubst.ml | 10537 | logplain |
-rw-r--r-- | test_functor.ml | 208 | logplain |
-rw-r--r-- | test_loc_modtype_type_eq.ml | 96 | logplain |
-rw-r--r-- | test_loc_modtype_type_subst.ml | 97 | logplain |
-rw-r--r-- | test_loc_type_eq.ml | 77 | logplain |
-rw-r--r-- | test_loc_type_subst.ml | 78 | logplain |
-rw-r--r-- | test_locations.compilers.reference | 3060 | logplain |
-rw-r--r-- | test_locations.ml | 801 | logplain |