defaulted
open override fun defaulted(name: String, default: OUT, description: String?, metadata: Map<String, Any>): ToolArgLens<OUT>
open override fun defaulted(name: String, default: LensExtractor<ToolRequest, OUT>, description: String?, metadata: Map<String, Any>): ToolArgLens<OUT>