47
48
49
50
51
52
53
54
55
56
57
58
59
60
|
47
48
49
50
51
52
53
54
55
56
57
|
-
-
-
|
template< typename I, typename L >
auto MkStdRTType( I&& identity, L&& llvmType )
{
return VEC( forward< I >( identity ), TERM( ptr< void >() ), forward< L >( llvmType ) );
}
extern optional< pvec > GetPredicates( const Value& t );
extern Term InjectPredicatesIntoStdType( const Term& t, const pvec& predicates );
|