From 03e249e791ba6390da396d798f5228712145fc86 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Fri, 31 Jan 2020 13:52:57 +0100 Subject: [PATCH] Add useful derive statements --- src/ast.rs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/ast.rs b/src/ast.rs index 0b6c92e..dac7740 100644 --- a/src/ast.rs +++ b/src/ast.rs @@ -28,12 +28,14 @@ pub enum UnaryOperator // Primitives +#[derive(Eq, Hash, PartialEq)] pub struct FunctionDeclaration { pub name: String, pub arity: usize, } +#[derive(Eq, Hash, PartialEq)] pub struct PredicateDeclaration { pub name: String,