Searched defs:BoolVR (Results 1 – 1 of 1) sorted by relevance
124 BoolVR = ValueRanges[SympyBoolean] # noqa: F821 variable in ValueRanges318 def wrap(arg: Union[BoolIn, BoolVR]) -> BoolVR: # type: ignore[misc] argument343 def decreasing_map(x: Union[BoolIn, BoolVR], fn: BoolFn) -> BoolVR: # type: ignore[misc] argument385 x: Union[BoolIn, BoolVR], argument