diff options
| author | Maxence Guesdon <maxence.guesdon@inria.fr> | 2001-12-28 23:15:23 +0000 |
|---|---|---|
| committer | Maxence Guesdon <maxence.guesdon@inria.fr> | 2001-12-28 23:15:23 +0000 |
| commit | 465308dc972653e74440f1564cac410d19ac1c9f (patch) | |
| tree | 9f7c6ff2d6bed0f0ecaabcbcc1f56726f0597f0b /otherlibs | |
| parent | 2d748d30f91544e48c508a27ac2403904803b7f9 (diff) | |
changement niveaux de titre dans les commentaires
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4199 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs')
| -rw-r--r-- | otherlibs/num/big_int.mli | 10 | ||||
| -rw-r--r-- | otherlibs/num/num.mli | 8 |
2 files changed, 9 insertions, 9 deletions
diff --git a/otherlibs/num/big_int.mli b/otherlibs/num/big_int.mli index a5bafcaa7..9b140abf2 100644 --- a/otherlibs/num/big_int.mli +++ b/otherlibs/num/big_int.mli @@ -28,7 +28,7 @@ val zero_big_int : big_int val unit_big_int : big_int (** The big integer [1]. *) -(** {2 Arithmetic operations} *) +(** {6 Arithmetic operations} *) val minus_big_int : big_int -> big_int (** Unary negation. *) @@ -79,7 +79,7 @@ val power_big_int_positive_big_int: big_int -> big_int -> big_int on the function, [a] and [b] can be either small integers or big integers. Raise [Invalid_argument] if [b] is negative. *) -(** {2 Comparisons and tests} *) +(** {6 Comparisons and tests} *) val sign_big_int : big_int -> int (** Return [0] if the given big integer is zero, @@ -102,7 +102,7 @@ val num_digits_big_int : big_int -> int (** Return the number of machine words used to store the given big integer. *) -(** {2 Conversions to and from strings} *) +(** {6 Conversions to and from strings} *) val string_of_big_int : big_int -> string (** Return the string representation of the given big integer, @@ -112,7 +112,7 @@ val big_int_of_string : string -> big_int The string consists of an optional [-] or [+] sign, followed by one or several decimal digits. *) -(** {2 Conversions to and from other numerical types} *) +(** {6 Conversions to and from other numerical types} *) val big_int_of_int : int -> big_int (** Convert a small integer to a big integer. *) @@ -134,7 +134,7 @@ val float_of_big_int : big_int -> float (**/**) -(** {2 For internal use} *) +(** {6 For internal use} *) val nat_of_big_int : big_int -> nat val big_int_of_nat : nat -> big_int val base_power_big_int: int -> int -> big_int -> big_int diff --git a/otherlibs/num/num.mli b/otherlibs/num/num.mli index a9c9f815c..c69f3b0d4 100644 --- a/otherlibs/num/num.mli +++ b/otherlibs/num/num.mli @@ -30,7 +30,7 @@ type num = | Ratio of ratio -(** {2 Arithmetic operations} *) +(** {6 Arithmetic operations} *) val ( +/ ) : num -> num -> num @@ -113,7 +113,7 @@ val ceiling_num : num -> num val sign_num : num -> int (** Return [-1], [0] or [1] according to the sign of the argument. *) -(** {3 Comparisons between numbers} *) +(** {7 Comparisons between numbers} *) val ( =/ ) : num -> num -> bool val ( </ ) : num -> num -> bool @@ -138,7 +138,7 @@ val min_num : num -> num -> num (** Return the smaller of the two arguments. *) -(** {2 Coercions with strings} *) +(** {6 Coercions with strings} *) val string_of_num : num -> string (** Convert a number to a string, using fractional notation. *) @@ -157,7 +157,7 @@ val approx_num_exp : int -> num -> string val num_of_string : string -> num (** Convert a string to a number. *) -(** {2 Coercions between numerical types} *) +(** {6 Coercions between numerical types} *) val int_of_num : num -> int val num_of_int : int -> num |