def Cls.inf
import bend-kit-f64@0.1.0.0/f64.bend as F64import Base
809def Cls.inf(k: Cls) -> Bool:
810 match k:
811 case Inf{}:
812 True{}
813 case Fin{}:
814 False{}
815 case Nan{}:
816 False{}
import bend-kit-f64@0.1.0.0/f64.bend as F64import Base
809def Cls.inf(k: Cls) -> Bool:
810 match k:
811 case Inf{}:
812 True{}
813 case Fin{}:
814 False{}
815 case Nan{}:
816 False{}