diff options
| author | Martin Atkins <mart@degeneration.co.uk> | 2023-02-07 18:00:32 -0800 |
|---|---|---|
| committer | Martin Atkins <mart@degeneration.co.uk> | 2023-05-31 09:26:15 -0700 |
| commit | e4bd3b4ecb86651abf9ff871838d68a811ae43ea (patch) | |
| tree | e49a34346d840f05275a6698bc611af97d859ac7 /ext/typeexpr | |
| parent | 333389d904c69e958c6cf7945e6be12c08f9f6ab (diff) | |
hcldec: RefineValueSpec
This new spec type allows adding value refinements to the results of some
other spec, as long as the wrapped spec does indeed enforce the
constraints described by the refinements.
Diffstat (limited to 'ext/typeexpr')
0 files changed, 0 insertions, 0 deletions