runtime/value.ml · a86c980befa140601fd91dea1784c11e51e3deee · cduce / cduce · GitLab

Find file Blame History Permalink

[r2003-11-26 16:18:26 by szach] - added equal function on values · a86c980b
Pietro Abate authored Jul 10, 2007
```
- exported previously hidden is_seq function

Original author: szach
Date: 2003-11-26 16:18:26+00:00
```
a86c980b