From 989191a27c1b8c9d95f538076d41036f74094f12 Mon Sep 17 00:00:00 2001 From: Matthieu Dubuget Date: Fri, 30 Dec 2016 15:18:11 +0100 Subject: [PATCH] Ajout de modificateurs de date --- googleApps.mli | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/googleApps.mli b/googleApps.mli index 3b487d8..37ecd99 100644 --- a/googleApps.mli +++ b/googleApps.mli @@ -38,6 +38,10 @@ sig val to_locale_date_string : t -> string [@@js.call] val to_string : t -> string [@@js.call] + + val set_date : t -> date:int -> unit [@@js.call] + val set_month : t -> month:int -> unit [@@js.call] + val set_full_year: t -> year:int -> unit [@@js.call] end (** Files in Google Drive. *)