Minor clean-up
This commit is contained in:
parent
680f17bda0
commit
f4f8dbf396
@ -1,11 +1,3 @@
|
|||||||
#[derive(Clone, Copy, Eq, PartialEq)]
|
|
||||||
pub(crate) enum TermPosition
|
|
||||||
{
|
|
||||||
Any,
|
|
||||||
Left,
|
|
||||||
Right,
|
|
||||||
}
|
|
||||||
|
|
||||||
impl std::fmt::Debug for crate::SpecialInteger
|
impl std::fmt::Debug for crate::SpecialInteger
|
||||||
{
|
{
|
||||||
fn fmt(&self, format: &mut std::fmt::Formatter) -> std::fmt::Result
|
fn fmt(&self, format: &mut std::fmt::Formatter) -> std::fmt::Result
|
||||||
@ -58,6 +50,14 @@ impl std::fmt::Display for crate::VariableDeclaration
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
#[derive(Clone, Copy, Eq, PartialEq)]
|
||||||
|
pub(crate) enum TermPosition
|
||||||
|
{
|
||||||
|
Any,
|
||||||
|
Left,
|
||||||
|
Right,
|
||||||
|
}
|
||||||
|
|
||||||
pub(crate) struct TermDisplay<'term>
|
pub(crate) struct TermDisplay<'term>
|
||||||
{
|
{
|
||||||
term: &'term crate::Term,
|
term: &'term crate::Term,
|
||||||
|
Loading…
x
Reference in New Issue
Block a user