"Validatable" trait for classes using the Valid()/Repr idiom

dafny-lang / libraries

Libraries useful for Dafny programs

Other

43 stars 25 forks source link

Open robin-aws opened 2 years ago

robin-aws commented 2 years ago

Encapsulates the idiom described in Chapters 8 and 9 of http://leino.science/papers/krml221.pdf as a shared common trait.