- t -

• Term() : lala::pc::Term< AD, Allocator >
• top() : lala::PC< A, Allocator > , lala::PIR< A, Allocator >
• True() : lala::pc::True< AD >