diff options
| author | Florian Klink <flokli@flokli.de> | 2023-01-29T16·42+0100 |
|---|---|---|
| committer | flokli <flokli@flokli.de> | 2023-01-31T13·29+0000 |
| commit | 1ee6bd06e32d49690f536a2a5a901055d69bc1c0 (patch) | |
| tree | d40c853e2109252de63389af030c983386f78ba3 /net/crimp | |
| parent | c27bacd905a14207edc56850fd4ef9383706b5c4 (diff) | |
feat(tvix/store/proto): implement get_name for node::Node, pub trait r/5789
Make the trait public, so consumers can use it. Also, implement it for node::Node, so we can later use this to access the name from all three if we don't care about the enum type. Change-Id: Iae530a16b705493645e61947852c03273876cc55 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7963 Reviewed-by: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
Diffstat (limited to 'net/crimp')
0 files changed, 0 insertions, 0 deletions