Added definitions and function declarations to declarations.tex