diff options
| author | coqbot-app[bot] | 2020-11-20 15:30:35 +0000 |
|---|---|---|
| committer | GitHub | 2020-11-20 15:30:35 +0000 |
| commit | 1aca82b3d8ff562b75a5a93a5910afd39c10ba3b (patch) | |
| tree | 365297142cd0a002495301b770f8d266c9a68575 /interp/notation_ops.mli | |
| parent | dac6017513cea37f96ce8256239e490f18339f08 (diff) | |
| parent | fe56bc97653123d24631b0f9ed2e100259202099 (diff) | |
Merge PR #13426: [doc] [ssr] fix documentation of reflect
Reviewed-by: CohenCyril
Diffstat (limited to 'interp/notation_ops.mli')
0 files changed, 0 insertions, 0 deletions