Artifact fd44a77f3a74cca53ac029d9565ebe7d1735361833b3b8ed453902f1e2e2c55a:
- File bs/sema/unify.h — part of check-in [04126adeb0] at 2018-11-20 22:28:50 on branch trunk — Implemented the unification rule dispatching. (user: achavasse size: 189)
#ifndef EMPATHY_SEMA_UNIFY_H #define EMPATHY_SEMA_UNIFY_H namespace empathy::sema { optional< Term > Unify( const Term& lhs, const Term& rhs, UnificationContext&& context ); } #endif