let get_exn t tool = match t tool with | Some s -> s | None -> failwithf "Toolkit cannot provide the tool %s" (Definition.to_string tool)