API documentation

ocsigen · Jun 29, 2015 · 40e1edf · 40e1edf
1 parent 9890c3e
commit 40e1edf
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/src/widgets/ot_time_picker.eliomi b/src/widgets/ot_time_picker.eliomi
@@ -1,5 +1,11 @@
 {client{
 
+    (** [time_picker ~discrete x f] produces a clock-style time picker
+        whose size is [x] * [x] pixels. When the user picks the time
+        [h]:[m] , we call [f h m]. If [discrete] is [true], the user
+        can only click on the twelve hours, i.e., m will always be
+        zero. *)
+
 val time_picker :
   ?discrete:bool ->
   int -> (int -> int -> unit) ->