library test.inheritancewithrecursivedecl;

closed protocol Parent {
    strict First(resource struct {
        request server_end:Parent;
    });
};

closed protocol Child {
    compose Parent;
    strict Second(resource struct {
        request server_end:Parent;
    });
};