Re-exports§
pub use super::symbol::Atom;
Enums§
- Prop
Binary - Deriving
PartialOrdandOrdon this enum means that, by ordering the fields in increasing order of precedence, no other work has to be done to make sure the relative precedence of operators is understood. - Prop
Unary - The negation operator, nothing super remarkable here.
Type Aliases§
- Prop
Formula - Alias for the propositional instantiation of
Formula. - Prop
Symbol