List of all items

Structs

• ast::AstBuffer
• ast::ModalTag
• ast::ParseError
• ast::ParseResult
• ast::Proposition
• ast::RelClause
• error::SyntaxDetail
• logic::FactSummary
• logic::LogicBuffer
• logic::ProofStep
• logic::ProofTrace
• logic::WitnessBinding

Enums

• ast::AbstractionKind
• ast::Argument
• ast::BlockQuant
• ast::Connective
• ast::Conversion
• ast::DeonticMood
• ast::Determiner
• ast::Marker
• ast::Predicate
• ast::Pronoun
• ast::RelClauseKind
• ast::Sentence
• ast::SentenceConnective
• ast::Tense
• error::NibliError
• logic::AggregateOp
• logic::LogicNode
• logic::LogicalTerm
• logic::ProofRule
• logic::QueryResult
• logic::ResourceKind
• logic::UnknownReason

Functions

• arithmetic::eval_arithmetic
• relations::is_builtin_arithmetic
• relations::is_identity
• relations::is_numeric_comparison

Type Aliases

• ast::ArgumentId
• ast::PredicateId
• logic::FactId

Constants

• relations::BUILTIN_ARITHMETIC
• relations::IDENTITY
• relations::NUMERIC_COMPARISONS
• relations::REFERENCE_EXTERNAL_COMPUTE