search

viperproject / gobra-libs

Standard library for the Gobra verifier for Go. Contains definitions and lemmas useful for verifying large projects.
MIT License
2 stars 1 forks source link

Replace EmptySet with Empty #8

Closed dnezam closed 11 months ago

dnezam commented 11 months ago

Set in sets.EmptySet() is redundant; additionally, it will be more consistent with the package for sequences (i.e., seqs.Empty())