~/jendhub

law Word.adc

Base · base.bend:1349

import Base
1349law Word.adc:
1350  for n: Nat
1351  for a: Word(n)
1352  for b: Word(n)
1353  for f: Bool
1354  for c: Bool
1355  Word(n)

Uses (8)

Used by (87)