We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 2351a1e commit a24cd0aCopy full SHA for a24cd0a
src/analysis/lattices/flat.h
@@ -33,6 +33,9 @@ namespace wasm::analysis {
33
template<typename T>
34
concept Flattenable = std::copyable<T> && std::equality_comparable<T>;
35
36
+// Given a type T, Flat<T> is the lattice where none of the values of T are
37
+// comparable except with themselves, but they are all greater than a common
38
+// bottom element not in T and less than a common top element also not in T.
39
template<Flattenable T>
40
#else
41
0 commit comments