type t val create : string -> t val lookup : string -> t