path
: Make Len impure and add LenSpec
#357
Merged
path
: Make Len impure and add LenSpec
#357