diff options
| author | Matej Kosik | 2016-10-25 10:46:10 +0200 |
|---|---|---|
| committer | Matej Kosik | 2016-10-26 10:55:32 +0200 |
| commit | b5216429572b4737ca2b2600788e8e3246f1d685 (patch) | |
| tree | 752a313bb8398e9633ecb0e0f5858eceed1405e9 /kernel/cbytecodes.ml | |
| parent | 860dc1cb91549068cf65f963bf819f47eb13ebe4 (diff) | |
COMMENT: Constr.kind_of_term
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions