Comment by xiaoyu2006

4 days ago

I thought this is some Hoare-logic things ported to C++, but well it's only stanzarized guard statements.

0 comments