From 1231b8b730c1cc027207d786b1dc1ea869d99e06 Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Tue, 12 Mar 2002 12:35:25 +0000 Subject: [PATCH] Declaration redondante git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4513 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 --- otherlibs/num/nat.mli | 1 - 1 file changed, 1 deletion(-) diff --git a/otherlibs/num/nat.mli b/otherlibs/num/nat.mli index 21de1995f..5d3fc1f1f 100644 --- a/otherlibs/num/nat.mli +++ b/otherlibs/num/nat.mli @@ -27,7 +27,6 @@ external blit_nat: nat -> int -> nat -> int -> int -> unit = "blit_nat" val copy_nat: nat -> int -> int -> nat external set_digit_nat: nat -> int -> int -> unit = "set_digit_nat" external nth_digit_nat: nat -> int -> int = "nth_digit_nat" -val length_nat: nat -> int val length_nat : nat -> int external num_digits_nat: nat -> int -> int -> int = "num_digits_nat" external num_leading_zero_bits_in_digit: nat -> int -> int = "num_leading_zero_bits_in_digit"