diff options
Diffstat (limited to 'kernel/uint31.mli')
-rw-r--r-- | kernel/uint31.mli | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/kernel/uint31.mli b/kernel/uint31.mli index fdfb2d95a..e8b980809 100644 --- a/kernel/uint31.mli +++ b/kernel/uint31.mli @@ -36,4 +36,6 @@ val compare : t -> t -> int (* head and tail *) val head0 : t -> t val tail0 : t -> t - + +(** Used by retroknowledge *) +val add_digit : t -> t -> t |