Skip to content

Commit 3eee998

Browse files
author
Owen Jones
committed
Add references to class-level documentation
1 parent d924247 commit 3eee998

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

doc/architectural/data-structures-core-structures-and-ast.md

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -36,10 +36,14 @@ considered important, for example it shouldn't be counted when comparing two
3636

3737
## typet ##
3838

39+
See \ref typet.
40+
3941
To be documented.
4042

4143
### symbol_typet ###
4244

45+
See \ref symbol_typet.
46+
4347
To be documented.
4448

4549
## exprt ##

0 commit comments

Comments
 (0)