From 55feaee745484c15bbefb4712e7834da39261c72 Mon Sep 17 00:00:00 2001 From: Darren Li Date: Sun, 28 Apr 2024 00:02:12 +1000 Subject: [PATCH] Updated timedesc.mli --- timedesc/timedesc.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/timedesc/timedesc.mli b/timedesc/timedesc.mli index 562ab9ad..fb09ffeb 100644 --- a/timedesc/timedesc.mli +++ b/timedesc/timedesc.mli @@ -1447,7 +1447,7 @@ val pp : ?format:string -> unit -> Format.formatter -> t -> unit {ns} Nanosecond {sec-frac:cN} Fraction of second - Character c is used as the decimal separator + Character c is used as the decimal separator and is mandatory N determines the number of digits to take after decimal separator If N is not specified, then the smallest number of digits required after decimal separator for a lossless representation is used