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

Deprecate lenv rather than remove

3e3c6b2
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs