Supports invariant, precondition, postcondition, and derived attributes using a Ruby DSL.

Required Ruby Version

>= 3.2

Authors

Takeshi Kakeda

Versions

  1. 0.1.0

    1. source

      1. 0.1.0 source April 26, 2025 (6 KB)

Pushed by

tkskkd

SHA 256 checksum