#ifndef __ADDITIONL3_HPP

#define __ADDITIONL3_HPP

#include "BitEvalL3.hpp"
#include "keygen.hpp"
#include "pairing.hpp" 

BitEvalL3 additionL3 (BitEvalL3 a, BitEvalL3 b, PublicKey public_key);


#endif /* __ADDITIONL3_HPP */