Skip to content
GitLab
Explore
Sign in
option.v: Add option_guard_decide and option_guard_bool_decide
Code
Review changes
Check out branch
Download
Patches
Plain diff
Paolo G. Giarrusso
requested to merge
Blaisorblade/stdpp:paolo/option-guard-bool-decide
into
master
Dec 13, 2022
Overview
10
Commits
1
Pipelines
1
Changes
1
Expand
Motivated by
https://mattermost.mpi-sws.org/iris/pl/cz6f4bxwsir78jkunk7nt3bawo
.
Merge request reports