let state (key:key) = try Dash.find_state key WP.self with Not_found -> let name = Info.state_name key in Dash.add name key [WP.self] () ; let state = Dash.find_state key WP.self in set_proxy key state ; state