diff --git a/pysvf/pysvf.pyi b/pysvf/pysvf.pyi index 97315ee..8da22a4 100644 --- a/pysvf/pysvf.pyi +++ b/pysvf/pysvf.pyi @@ -1841,6 +1841,8 @@ class IntervalValue: @overload def __init__(self, lb: int, ub: int) -> None: ... @overload + def __init__(self, lb: float, ub: float) -> None: ... + @overload def __init__(self, lb: BoundedInt, ub: BoundedInt) -> None: ... @overload def __init__(self, val: int) -> None: ...