Skip to content

Define Pulse.Lib.Pervasives._zero_for_deref - #4120

Merged
tahina-pro merged 1 commit into
FStarLang:fstar2from
tahina-pro:_taramana_fstar2_pulse_zero_for_deref
Mar 20, 2026
Merged

Define Pulse.Lib.Pervasives._zero_for_deref#4120
tahina-pro merged 1 commit into
FStarLang:fstar2from
tahina-pro:_taramana_fstar2_pulse_zero_for_deref

define `Pulse.Lib.Pervasives._zero_for_deref`

1b350cb
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar