From 82f1125627a6ad061674961ac7bfeb628fcc616e Mon Sep 17 00:00:00 2001
From: Jack Wrenn <me@jswrenn.com>
Date: Thu, 27 Dec 2018 15:28:06 -0500
Subject: [PATCH] re-export alga docs to improve discoverability of trait
 implementations

---
 src/lib.rs | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/src/lib.rs b/src/lib.rs
index 1edaa167c..4794f2c9e 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -148,6 +148,15 @@ use num::Signed;
 
 pub use alga::general::{Id, Real};
 
+/// Documentation for traits implemented from `alga`.
+///
+/// For documentation purposes only; do not rely on items from this module.
+// Use https://github.com/rust-lang/rust/pull/53076, once stabilized.
+#[deprecated(note = "For documentation purposes only; do not rely on items from this module.")]
+pub mod alga_documentation {
+    pub use alga::*;
+}
+
 /*
  *
  * Multiplicative identity.