[PD] How to declare custom libraries in abstractions