koher

そういう意味で、 precondition も広義の assert の一種なのでは。

omochimetaru 9/16/2021 4:06 AM

そうかもしれない