Other Features
Universal & existential quantification
Index, sort operators
Aggregation (min, max, count, sum, avg)
Recursive types & functions
M.Marchiori, M.Fernandez, P.Cotton, P.Fankhauser
37 of 53
