spade-lang / lib / Ready Valid