omena-refinement-trait 0.1.14

Interface-only refinement predicate contracts for Omena CSS
Documentation
  • Coverage
  • 3.23%
    1 out of 31 items documented0 out of 7 items with examples
  • Size
  • Source code size: 6.94 kB This is the summed size of all the files inside the crates.io package for this release.
  • Documentation size: 510.4 kB This is the summed size of all files generated by rustdoc for all configured targets
  • Ø build duration
  • this release: 7s Average build duration of successful builds.
  • all releases: 12s Average build duration of successful builds in releases after 2024-10-23.
  • Links
  • omenien/omena-css-publish-legacy
    0 0 0
  • crates.io
  • Dependencies
  • Versions
  • Owners
  • yongsk0066

omena-refinement-trait

omena-refinement-trait is the interface-only cycle breaker for refinement predicate contracts shared by cascade, refinement, and SMT layers.