U8.fm

T U8
| U8.new(a: Word(8));

U8.0: U8
  U8.new(Word.zero(8))

U8.add(a: U8, b: U8): U8
  get a_val = a 
  get b_val = b 
  U8.new(Word.add<>(a_val, b_val))

U8.and(a: U8, b: U8): U8
  get a_val = a
  get b_val = b 
  U8.new(Word.and<>(a_val, b_val))

U8.concat(a: U8, b: U8): U16
  get a_val = a
  get b_val = b 
  U16.new(Word.concat<><>(a_val, b_val))

U8.div(a: U8, b: U8): U8
  get a_val = a
  get b_val = b 
  U8.new(Word.div<>(a_val, b_val))

// a == b
U8.eql(a: U8, b: U8): Bool
  get a_val = a
  get b_val = b 
  Word.eql<>(a_val, b_val)

// a >= b
U8.gte(a: U8, b: U8): Bool
  get a_val = a
  get b_val = b 
  Word.gte<>(a_val, b_val)

// a > b
U8.gtn(a: U8, b: U8): Bool
  get a_val = a
  get b_val = b 
  Word.gtn<>(a_val, b_val)

U8.inc(a: U8): U8
  get a_val = a 
  U8.new(Word.inc<>(a_val))

// a <= b
U8.lte(a: U8, b: U8): Bool
  get a_val = a
  get b_val = b 
  Word.lte<>(a_val, b_val)

// a < b
U8.ltn(a: U8, b: U8): Bool
  get a_val = a
  get b_val = b 
  Word.ltn<>(a_val, b_val)

U8.mod(a: U8, b: U8): U8
  get a_val = a
  get b_val = b 
  U8.new(Word.mod<>(a_val, b_val))  

U8.mul(a: U8, b: U8): U8
  get a_val = a
  get b_val = b 
  U8.new(Word.mul<>(a_val, b_val))  

U8.or(a: U8, b: U8): U8
  get a_val = a
  get b_val = b 
  U8.new(Word.or<>(a_val, b_val))  

U8.parse_hex(str: String): U8
  U8.new(Word.from_bits(8, Bits.parse_hex(str)))

U8.pow(a: U8, b: U8): U8
  get a_val = a
  get b_val = b 
  U8.new(Word.pow<>(a_val, b_val))  

U8.shl(n: Nat, a: U8): U8
  get a_val = a 
  U8.new(Word.shift_left<>(n, a_val))

U8.shr(n: Nat, a: U8): U8
  get a_val = a 
  U8.new(Word.shift_right<>(n, a_val))

U8.sub(a: U8, b: U8): U8
  get a_val = a
  get b_val = b 
  U8.new(Word.sub<>(a_val, b_val))  

U8.to_bits(a: U8): Bits
  get a_val = a 
  Word.to_bits<>(a_val)

U8.to_nat(a: U8): Nat
  get a_val = a 
  Word.to_nat<>(a_val)

U8.xor(a: U8, b: U8): U8
  get a_val = a
  get b_val = b 
  U8.new(Word.xor<>(a_val, b_val))  

U8.from_nat(n: Nat): U8
  // TODO
  U8.parse_hex(Nat.to_string_base(16, n))