Module Dtcprotocol_piqi.User_message

type t = {
mutable user_message : string option;
mutable is_popup_message : bool option;
}