Goose  Artifact [eb8a2615e0]

Artifact eb8a2615e0cb06125a862b201533244b2b19e621b9b38db335af6745977b8052:

• File bs/sema/unify.h — part of check-in [403ca496c8] at 2019-03-10 19:20:48 on branch trunk — Overloading: first untested draft of utrie unification. (user: achavasse size: 315)

#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