diff options
| author | Hugo Herbelin | 2015-12-15 04:31:01 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-12-15 11:58:21 +0100 |
| commit | fa0b0bedf165812b170cedbce8a5b6cf94a5fadf (patch) | |
| tree | eba010bf66e394286be3e4a7202bb9a84c0d9f12 /engine/termops.ml | |
| parent | 78896394b49b0d8b89c81378f9437e69a86b6363 (diff) | |
Simplifying documentation of "assert form as pat".
Diffstat (limited to 'engine/termops.ml')
0 files changed, 0 insertions, 0 deletions