diff options
Diffstat (limited to 'src/Pure.ml')
| -rw-r--r-- | src/Pure.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Pure.ml b/src/Pure.ml index b1c8e254..bbbf72a6 100644 --- a/src/Pure.ml +++ b/src/Pure.ml @@ -1,4 +1,5 @@ open Identifiers +open Names module T = Types module V = Values module E = Expressions |