Basic docs and non_exhaustive for PrologTerm

diff --git a/src/machine/parsed_results.rs b/src/machine/parsed_results.rs
index 4ab1f91a2228c42be1c43995b8b1797c6d5b55f5..561311cef510ded3226c85a9e6a44f80ac4a8edf 100644 (file)
--- a/src/machine/parsed_results.rs
+++ b/src/machine/parsed_results.rs
@@ -11,6 +11,7 @@ use std::collections::BTreeMap;
 use super::Machine;
 use super::{HeapCellValue, Number};
 
+/// Represents a leaf answer from a query.
 #[derive(Debug, Clone, PartialEq, Eq)]
 pub enum LeafAnswer {
     True,
@@ -22,6 +23,8 @@ pub enum LeafAnswer {
     },
 }
 
+/// Represents a Prolog term.
+#[non_exhaustive]
 #[derive(Debug, Clone, PartialEq, Eq)]
 pub enum PrologTerm {
     Integer(Integer),