#ifndef EMPATHY_SEMA_UNIFY_H
#define EMPATHY_SEMA_UNIFY_H

namespace empathy::sema
{
    using UniGen = Generator< pair< Term, UnificationContext > >;

    UniGen Unify( const Term& lhs, const Term& rhs, UnificationContext& context );
    UniGen HalfUnify( const Term& lhs, UnificationContext& context );
}

#endif