object method finalize : unit -> unit method open_value_rd : unit -> Netchannels.in_obj_channel method store : Netmime.store method value : string end