let current = function | Cnone -> Wp_parameters.fatal "logic:undefined value" | Cdefault item | Cupdated(item,_) -> item