type t val parse : string -> t val save : t -> string -> unit val load : string -> t