omena-abstract-value 0.1.0

Abstract class value domain for Omena CSS semantic analysis
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

# `omena-abstract-value`

Abstract class value domain for Omena CSS semantic analysis.

This crate owns the generic domain contract used to reason about dynamic class
values before they are projected into a selector universe.

Current public product:

- `omena-abstract-value.domain` — domain boundary summary for the abstract
  class-value lattice and selector projection certainty contract.

Primary check:

```sh
cargo test
```