def Bool.full_add

Base · base.bend:607

import Base

607def Bool.full_add(a: Bool, +b: Bool, +c: Bool) -> Bool & Bool:
608  match a:
609    case False{}:
610      (Bool.xor(b, c), Bool.and(b, c))
611    case True{}:
612      (Bool.not(Bool.xor(b, c)), Bool.or(b, c))

Uses (7)

Used by (15)