type t val init: unit -> t val get: t -> string -> string -> Algo.value val set: t -> string -> string -> Algo.value -> t