Goose  Artifact [47446779e0]

Artifact 47446779e09ebf3cceb227ae0dcf1705a1192d187806658477bd173144e145b0:

• File bs/sema/unify.h — part of check-in [536f9e4bca] at 2018-11-20 21:56:13 on branch trunk — Started working on unification. (user: achavasse size: 200)

#ifndef EMPATHY_SEMA_UNIFY_H
#define EMPATHY_SEMA_UNIFY_H

namespace empathy::sema
{
    Term Unify( const Term& lhs, const Term& rhs, UnificationContext&& context = UnificationContext() );
}

#endif