#[deny(missing_docs)]

diff --git a/src/lib.rs b/src/lib.rs
index 61f98dd9d06e2883101b05f2d898380e7e209524..dc8693eccd5a71dffed1d25e6ffd956f07b31c66 100644 (file)
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -1,4 +1,6 @@
+//! A free software ISO Prolog system.
 #![recursion_limit = "4112"]
+#![deny(missing_docs)]
 
 #[macro_use]
 extern crate static_assertions;

diff --git a/src/machine/parsed_results.rs b/src/machine/parsed_results.rs
index ec3d469362cc4dc79fc12498277b8ed6c5c4fdd9..4791c7772bd617e81c79bcdd0895cef1de07ff9c 100644 (file)
--- a/src/machine/parsed_results.rs
+++ b/src/machine/parsed_results.rs
@@ -23,10 +23,14 @@ pub enum LeafAnswer {
     /// An exception leaf answer.
     Exception(PrologTerm),
     /// A leaf answer with bindings and residual goals.
-    ///
-    /// Both bindings and residual goals can be empty.
     LeafAnswer {
+        /// The bindings of variables in the query.
+        ///
+        /// Can be empty.
         bindings: BTreeMap<String, PrologTerm>,
+        /// Residual goals.
+        ///
+        /// Can be empty.
         residual_goals: Vec<PrologTerm>,
     },
 }