def add.inf.a

bend-kit-f64@0.1.0.0 · f64.bend:735

import Base

735def add.inf.a(kb: Cls, +sa: U32, sb: U32) -> F64:
736  match kb:
737    case Nan{}:
738      F64.nan()
739    case Inf{}:
740      add.inf.both(U32.is_eq(sa, sb), sa)
741    case Fin{}:
742      F64.inf.sign(sa)