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