#ifndef __ADDITIONL4_HPP

#define __ADDITIONL4_HPP

#include "BitEvalL4.hpp"
#include "keygen.hpp"
#include "pairing.hpp" 

BitEvalL4 additionL4 (BitEvalL4 a, BitEvalL4 b, PublicKey public_key);


#endif /* __ADDITIONL4_HPP */