Skip to content

Commit d1fe61a

Browse files
committed
add explanatory comment
1 parent 719b0f8 commit d1fe61a

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

src/analysis/lattices/flat.h

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -33,6 +33,9 @@ namespace wasm::analysis {
3333
template<typename T>
3434
concept Flattenable = std::copyable<T> && std::equality_comparable<T>;
3535

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.
3639
template<Flattenable T>
3740
#else
3841
template<typename T>

0 commit comments

Comments
 (0)