Ajout GmailApp.get_id

2016-12-08 15:55:51 +01:00 · 2016-12-08 15:55:51 +01:00 · 382d333436
parent 54f7114c44
commit 382d333436
2 changed files with 2 additions and 0 deletions
--- a/googleApps.ml
+++ b/googleApps.ml
@ -146,6 +146,7 @@ include ([%js] : sig
             val get_body : t -> string [@@js.call]
             val get_subject : t -> string [@@js.call]
             val get_from : t -> string [@@js.call]
+             val get_id : t -> string [@@js.call]
           end

           module GmailThread : sig
--- a/googleApps.mli
+++ b/googleApps.mli
@ -191,6 +191,7 @@ sig
  val get_body : t -> string
  val get_subject : t -> string
  val get_from : t -> string
+  val get_id : t -> string
 end

 module GmailThread :