search

dusk-network / microkelvin

Mozilla Public License 2.0
16 stars 6 forks source link

Rename `len()` to `depth()` #6

Closed ZER0 closed 4 years ago

ZER0 commented 4 years ago

Resolves: #5

krl commented 4 years ago

For now, i would just rename len to depth, the is_some() lgtm though.