Goose  Artifact [950501bed5]

Artifact 950501bed5559cca69d8c75d10dd717af873675449f0a6e934e39821b2dcaf8a:

• File bs/sema/substitute.h — part of check-in [849a7f99e5] at 2019-01-04 14:11:36 on branch trunk — Implement hole substitution algorithm. (user: achavasse size: 187)

#ifndef EMPATHY_SEMA_SUBSTITUTE_H
#define EMPATHY_SEMA_SUBSTITUTE_H

namespace empathy::sema
{
    extern Term Substitute( const Term& src, const UnificationContext& context );
}

#endif