rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

#[deny(missing_docs)]

Browse Source
This commit is contained in:
bakaq
2024-09-29 23:50:15 -03:00
parent e6cc408ff2
commit cab61738ad
2 changed files with 8 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/lib.rs
View File

@@ -1,4 +1,6 @@
//! A free software ISO Prolog system.
#![recursion_limit = "4112"] #![recursion_limit = "4112"]
#![deny(missing_docs)]
#[macro_use] #[macro_use]
extern crate static_assertions; extern crate static_assertions;

8
src/machine/parsed_results.rs
View File

@@ -23,10 +23,14 @@ pub enum LeafAnswer {
/// An exception leaf answer. /// An exception leaf answer.
Exception(PrologTerm), Exception(PrologTerm),
/// A leaf answer with bindings and residual goals. /// A leaf answer with bindings and residual goals.
///
/// Both bindings and residual goals can be empty.
LeafAnswer { LeafAnswer {
/// The bindings of variables in the query.
///
/// Can be empty.
bindings: BTreeMap<String, PrologTerm>, bindings: BTreeMap<String, PrologTerm>,
/// Residual goals.
///
/// Can be empty.
residual_goals: Vec<PrologTerm>, residual_goals: Vec<PrologTerm>,
}, },
} }