Skip to content
Snippets Groups Projects
Commit e9894820 authored by Maxime Jacquemin's avatar Maxime Jacquemin
Browse files

[Kernel] Updating complexity indications in nat.mli

parent c50e59af
No related branches found
No related tags found
No related merge requests found
......@@ -41,9 +41,9 @@ val prev : 'n succ nat -> 'n nat
val to_int : 'n nat -> int
(** Returns a positive or null natural. If the given parameter is stricly
negative then [None] is returned. This function complexity is O(n). *)
negative then [None] is returned. This function complexity is O(1). *)
val of_int : int -> positive_or_null option
(** Returns a strictly positive natural. If the given parameter is less or equal
than zero, then [None] is returned. This function complexity is O(n). *)
than zero, then [None] is returned. This function complexity is O(1). *)
val of_strictly_positive_int : int -> strictly_positive option
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment