Skip to content

Rename Cstruct.lenv -> Cstruct.lengthv - #313

Open
reynir wants to merge 2 commits into
mirage:mainfrom
reynir:lengthv
Open

Rename Cstruct.lenv -> Cstruct.lengthv#313
reynir wants to merge 2 commits into
mirage:mainfrom
reynir:lengthv

Commits

Commits on Jun 19, 2023

Commits on Jun 20, 2023