diff options
author | Nadrieril | 2019-05-06 23:21:19 +0200 |
---|---|---|
committer | Nadrieril | 2019-05-06 23:21:19 +0200 |
commit | 5b91eaa9d6b70a2ac72fe19f2d21871c8d94b017 (patch) | |
tree | 9ab6c6025d8f994c1ca10db1c4b8ea7d39087290 /dhall/src/traits/mod.rs | |
parent | 60129b7d1c0ea8bdf2ec666fa51957e97465e88f (diff) |
Move api-related modules into an api module
Diffstat (limited to 'dhall/src/traits/mod.rs')
-rw-r--r-- | dhall/src/traits/mod.rs | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/dhall/src/traits/mod.rs b/dhall/src/traits/mod.rs deleted file mode 100644 index 315e17a..0000000 --- a/dhall/src/traits/mod.rs +++ /dev/null @@ -1,6 +0,0 @@ -mod deserialize; -mod dynamic_type; -mod static_type; -pub use deserialize::Deserialize; -pub use dynamic_type::DynamicType; -pub use static_type::{SimpleStaticType, StaticType}; |