From 72db7c448b3f35f50b6855a37a88ae69bd389674 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Fri, 31 Jan 2020 13:53:21 +0100
Subject: [PATCH] Declare collection types for declarations

---
 src/ast.rs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/ast.rs b/src/ast.rs
index dac7740..5c5093b 100644
--- a/src/ast.rs
+++ b/src/ast.rs
@@ -35,6 +35,8 @@ pub struct FunctionDeclaration
 	pub arity: usize,
 }
 
+pub type FunctionDeclarations = std::collections::HashSet<std::rc::Rc<FunctionDeclaration>>;
+
 #[derive(Eq, Hash, PartialEq)]
 pub struct PredicateDeclaration
 {
@@ -42,6 +44,8 @@ pub struct PredicateDeclaration
 	pub arity: usize,
 }
 
+pub type PredicateDeclarations = std::collections::HashSet<std::rc::Rc<PredicateDeclaration>>;
+
 #[derive(Eq, Hash, PartialEq)]
 pub struct VariableDeclaration
 {