Lib.rs

› 关键词 #verification #postcondition #precondition #invariants #hash-set

#design-by-contract

  1. 合约

    设计-by-合同属性

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

  2. callback_fn

    回调函数

    v0.1.0 #callback #macro #design-by-contract

  3. disabled_contracts

    合约crate的一个清晰原型版本

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