Repository navigation
OptionalInt model: deterministic of/empty/isPresent/isEmpty/getAsInt - #41
Open
tautschnig wants to merge 1 commit into
Open
tautschnig wants to merge 1 commit into
tautschnig wants to merge 1 commit into
Commits
Commits on Jul 28, 2026