Skip to content

chore: fix signature of functions that can produce null terms#44

Open
AdrienChampion wants to merge 2 commits into
abdoo8080:mainfrom
anzenlang:null_as_option
Open

chore: fix signature of functions that can produce null terms#44
AdrienChampion wants to merge 2 commits into
abdoo8080:mainfrom
anzenlang:null_as_option

chore: update tests for functions that now produce optional terms

16e2c90
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Windows-x86_64
succeeded May 28, 2026 in 3m 44s