1
2
3
4
5
6
7
8
9
10
11
12
|
#ifndef EMPATHY_SEMA_UNI_QUOTE_H
#define EMPATHY_SEMA_UNI_QUOTE_H
namespace empathy::sema
{
extern Term Quote( const Term& t );
extern optional< Term > Unquote( const Term& t );
extern void SetupQuoteUnificationRules( UnificationRuleSet& ruleSet );
}
#endif
|
>
>
>
>
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#ifndef EMPATHY_SEMA_UNI_QUOTE_H
#define EMPATHY_SEMA_UNI_QUOTE_H
namespace empathy::sema
{
// Expressions can be quoted so that they aren't recursed into during
// unification. This allows to carry unification patterns around (like function
// signatures) without them causing an unification failure because their holes remain
// unresolved.
extern Term Quote( const Term& t );
extern optional< Term > Unquote( const Term& t );
extern void SetupQuoteUnificationRules( UnificationRuleSet& ruleSet );
}
#endif
|