#ifndef EMPATHY_IR_HELPERS_H
#define EMPATHY_IR_HELPERS_H

namespace empathy::ir
{
    extern Term AppendToVectorTerm( const Term& vectorTerm, const Term& t );
    extern Term ConcatenateVectorTerms( const Term& vector1, const Term& vector2 );

    extern Term TakeVectorTerm( const Term& vectorTerm, size_t n );
    extern Term DropVectorTerm( const Term& vectorTerm, size_t n );
}

#endif
