10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
}
}
namespace empathy::ir
{
const Term& Bridge< TDecl >::Type()
{
static auto type = ValueToIRExpr( Value( TSID( type ), TVEC( TSID( texpr ), TSID( tdecl ) ) ) );
return type;
}
Value Bridge< TDecl >::ToValue( const TDecl& td )
{
return Value( Type(), TVEC( td.type(), td.value() ) );
}
|
|
|
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
}
}
namespace empathy::ir
{
const Term& Bridge< TDecl >::Type()
{
static auto type = ValueToIRExpr( Value( TSID( type ), TSID( tdecl ) ) );
return type;
}
Value Bridge< TDecl >::ToValue( const TDecl& td )
{
return Value( Type(), TVEC( td.type(), td.value() ) );
}
|