egglog 3.0.0

egglog is a language that combines the benefits of equality saturation and datalog. It can be used for analysis, optimization, and synthesis of programs. It is the successor to the popular rust library egg.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

; Test that :internal-hidden constructors are excluded from print-size output

(sort MySort)

; A normal constructor - should show up in print-size
(constructor Visible () MySort)

; A hidden constructor - should NOT show up in print-size
(constructor Hidden () MySort :internal-hidden)

; Add some data
(Visible)
(Hidden)

; print-size should only show Visible, not Hidden
(print-size)