From c6f2cdc6e14ef71eaa21aa32e5bec610b64f1654 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Tue, 7 Jul 2020 08:38:28 +0200
Subject: [PATCH] Improve public interface

---
 src/lib.rs | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/src/lib.rs b/src/lib.rs
index 8c29c8c..b29cce5 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -1,8 +1,11 @@
 mod ast;
 pub mod flavor;
-pub mod format;
-pub mod parse;
+mod format;
+mod parse;
 mod utils;
 
 pub use ast::*;
+pub use format::{formulas::FormulaDisplay, terms::TermDisplay};
+pub use flavor::{DefaultFlavor, Flavor};
 pub use utils::*;
+pub use parse::{DefaultParser, Parser};