Commit 09308eb

committed

[vernac] expose API to elaborate a record declaration

1 parent da0e321 commit 09308ebCopy full SHA for 09308eb

2 files changed

+211

-126

lines changed

vernac
- record.mli
- record.ml

2 files changed

+211

-126

lines changed

Comments

(0)