let whess_path_exn t = let msg = sprintf "whess_path_exn of %s" (name t) in let target = Option.value_exn ~msg t.whess in target#product#path