aboutsummaryrefslogtreecommitdiff
path: root/library/kindops.ml
AgeCommit message (Expand)Author
2012-08-08Updating headers.herbelin
2012-05-29Decl_kinds becomes a pure mli file, remaining ops in new file kindops.mlletouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-17 17:31:07 +0000