Bool.full_add: def of Base
Import: import Base
Lines 607-612 of Base/base.bend: https://jend.leeeet.dev/read.txt?path=Base/base.bend&start_line=607&end_line=612

import Base

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

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.xor
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma