library test.protocolrequest; | |
closed protocol Child {}; | |
closed protocol Parent { | |
strict GetChild() -> (resource struct { | |
c client_end:Child; | |
}); | |
strict GetChildRequest() -> (resource struct { | |
r server_end:Child; | |
}); | |
strict TakeChild(resource struct { | |
c client_end:Child; | |
}); | |
strict TakeChildRequest(resource struct { | |
r server_end:Child; | |
}); | |
}; |