Testing a Gemini codegen run
anil.recoil.org
1(** JMAP Search Snippet.
2 @see <https://www.rfc-editor.org/rfc/rfc8621.html#section-5> RFC 8621, Section 5 *)
3
4open Jmap_types
5open Jmap_methods
6
7(** SearchSnippet object.
8 Note: Does not have an 'id' property.
9 @see <https://www.rfc-editor.org/rfc/rfc8621.html#section-5> RFC 8621, Section 5 *)
10module Search_snippet : sig
11 type t = {
12 snippet_email_id : id;
13 snippet_subject : string option;
14 snippet_preview : string option;
15 }
16end
17
18(** SearchSnippet/get: Args type.
19 @see <https://www.rfc-editor.org/rfc/rfc8621.html#section-5.1> RFC 8621, Section 5.1 *)
20module Search_snippet_get_args : sig
21 type t = {
22 snippet_get_account_id : id;
23 snippet_get_filter : Filter.t option;
24 snippet_get_email_ids : id list;
25 }
26end
27
28(** SearchSnippet/get: Response type.
29 @see <https://www.rfc-editor.org/rfc/rfc8621.html#section-5.1> RFC 8621, Section 5.1 *)
30module Search_snippet_get_response : sig
31 type t = {
32 snippet_get_resp_account_id : id;
33 snippet_get_resp_list : Search_snippet.t list;
34 snippet_get_resp_not_found : id list option;
35 }
36end