Compare commits
1 Commits
7af51e9e64
...
pre-0.1.0
Author | SHA1 | Date | |
---|---|---|---|
9202c839e2
|
@@ -53,7 +53,7 @@ pub enum Formula
|
|||||||
Predicate(Predicate),
|
Predicate(Predicate),
|
||||||
}
|
}
|
||||||
|
|
||||||
#[derive(PartialEq)]
|
#[derive(Eq, Hash, PartialEq)]
|
||||||
pub enum Domain
|
pub enum Domain
|
||||||
{
|
{
|
||||||
Program,
|
Program,
|
||||||
|
Reference in New Issue
Block a user