diff options
| author | Emilio Jesus Gallego Arias | 2019-12-12 13:27:51 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-12-12 13:27:51 +0100 |
| commit | dd47dfc29f4b38dd2b1745ecbf452c3cd459b89b (patch) | |
| tree | ffad23c4c5663e20435b14c19ab24438db887101 /kernel/safe_typing.ml | |
| parent | 53459444eb4f6be0c57254cd8ea6272279a410fc (diff) | |
| parent | 7943acfd346466b512eca88fd32c738cdfe44299 (diff) | |
Merge PR #11264: Type safe summary & libobject implementation
Reviewed-by: ejgallego
Diffstat (limited to 'kernel/safe_typing.ml')
0 files changed, 0 insertions, 0 deletions