2 ms·

Basically any guarantee can be broken by an evil guaranteer. All this is saying is that this is a case of the user being required to uphold a guarantee, instead

by dzaima 2y ago

Basically any guarantee can be broken by an evil guaranteer. All this is saying is that this is a case of the user being required to uphold a guarantee, instead of the stdlib/language.