blob: 4651e14fca4b238a49cd84b4dc5afa2f332e40c8 [file] [log] [blame] [edit]
library test.emptystruct;
type Empty = struct {};
closed protocol EmptyProtocol {
strict Send(struct {
e Empty;
});
strict -> Receive(struct {
e Empty;
});
strict SendAndReceive(struct {
e Empty;
}) -> (struct {
e Empty;
});
};