Lib.rs

› 关键字 #verification #postcondition #design-by-contract #invariants #hash-set

#precondition

  1. 合约

    设计-by-contract 属性

    v0.6.3 14K #invariants #verification #precondition #postcondition #design-by-contract #hash-set

  2. 宠物

    谓词存在类型

    v0.1.2 #predicate #precondition #refinement-types

  3. disabled_contracts

    合约 crate 的一个清晰的存根版本

    v0.1.0 550 #invariants #verification #postcondition #precondition #design-by-contract