Searched defs:decreasing_map (Results 1 – 1 of 1) sorted by relevance
338 def decreasing_map(x: Union[ExprIn, ExprVR], fn: ExprFn) -> ExprVR: member in ValueRanges343 def decreasing_map(x: Union[BoolIn, BoolVR], fn: BoolFn) -> BoolVR: # type: ignore[misc] member in ValueRanges347 def decreasing_map(x: Union[AllIn, AllVR], fn: AllFn) -> AllVR: member in ValueRanges