sig
module Map :
sig
type key = String.t
type 'a t = 'a Map.Make(String).t
val empty : 'a t
val is_empty : 'a t -> bool
val mem : key -> 'a t -> bool
val add : key -> 'a -> 'a t -> 'a t
val singleton : key -> 'a -> 'a t
val remove : key -> 'a t -> 'a t
val merge :
(key -> 'a option -> 'b option -> 'c option) -> 'a t -> 'b t -> 'c t
val union : (key -> 'a -> 'a -> 'a option) -> 'a t -> 'a t -> 'a t
val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
val iter : (key -> 'a -> unit) -> 'a t -> unit
val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
val for_all : (key -> 'a -> bool) -> 'a t -> bool
val exists : (key -> 'a -> bool) -> 'a t -> bool
val filter : (key -> 'a -> bool) -> 'a t -> 'a t
val partition : (key -> 'a -> bool) -> 'a t -> 'a t * 'a t
val cardinal : 'a t -> int
val bindings : 'a t -> (key * 'a) list
val min_binding : 'a t -> key * 'a
val max_binding : 'a t -> key * 'a
val choose : 'a t -> key * 'a
val split : key -> 'a t -> 'a t * 'a option * 'a t
val find : key -> 'a t -> 'a
val map : ('a -> 'b) -> 'a t -> 'b t
val mapi : (key -> 'a -> 'b) -> 'a t -> 'b t
end
type safe
type unsafe
type 'a t = {
sequence : int option;
boot : int option;
crypto_random : int option;
inode : int option;
device : int option;
microsecond : int option;
pid : int option;
deliveries : int option;
}
val make :
?sequence:int ->
?boot:int ->
?crypto_random:int ->
?inode:int ->
?device:int ->
?microsecond:int -> ?pid:int -> ?deliveries:int -> unit -> unsafe t
val to_safe : unsafe t -> safe t option
type id = Modern of safe t | Old0 of int | Old1 of int * int
type flag = Passed | Replied | Seen | Trashed | Draft | Flagged
type 'a info = Exp of 'a | Info of flag list
type 'a filename = {
time : int;
id : id;
host : string;
parameters : string Map.t;
info : 'a info;
}
val pp : Format.formatter -> ('a, Format.formatter, unit) format -> 'a
val pp_lst :
sep:(Format.formatter -> unit -> unit) ->
(Format.formatter -> 'a -> unit) -> Format.formatter -> 'a list -> unit
val pp_flag : Format.formatter -> flag -> unit
val pp_info :
(Format.formatter -> 'a -> unit) -> Format.formatter -> 'a info -> unit
val pp_option :
(Format.formatter -> 'a -> unit) -> Format.formatter -> 'a option -> unit
val pp_t : Format.formatter -> 'a t -> unit
val pp_id : Format.formatter -> id -> unit
val pp_map : Format.formatter -> string Map.t -> unit
val pp_filename :
(Format.formatter -> 'a -> unit) ->
Format.formatter -> 'a filename -> unit
type Parser.err += Invalid_filename
val implode : char list -> string
val avoid : unit Parser.t
val parse : 'a Parser.t -> 'a filename Parser.t
val of_filename : 'a Parser.t -> string -> 'a filename option
end