Check.main: def of bend-osdev-gf@0.1.1.0
Import: import bend-osdev-gf@0.1.1.0/check.bend as Check
Lines 61-80 of bend-osdev-gf@0.1.1.0/check.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-gf@0.1.1.0/check.bend&start_line=61&end_line=80

import Base
import bend-osdev-gf@0.1.1.0/gf.bend as G
import bend-osdev-gf@0.1.1.0/gf128.bend as H
import bend-osdev-gf@0.1.1.0/gfm.bend as M

def main() -> IO(Unit):
  do IO<Unit>:
    IO.print(show(G.Gf8.mul(G.Gf8.aes(), 87, 131)))
    IO.print(show(G.Gf8.mul(G.Gf8.aes(), 87, 19)))
    IO.print(show(G.Gf8.xtime(G.Gf8.aes(), 87)))
    IO.print(show(G.Gf8.inv(G.Gf8.aes(), 83)))
    IO.print(Nat.show(G.Gf8.log(G.Gf8.aes(), 83)))
    IO.print(show(G.Gf8.exp(G.Gf8.aes(), G.Gf8.log(G.Gf8.aes(), 83))))
    IO.print(show(G.Gf8.exp(G.Gf8.rs(), 8n)))
    IO.print(show(G.Gf8.div(G.Gf8.rs(), 1, 2)))
    IO.print(Nat.show(tab.check(G.Gf8.aes())))
    IO.print(Nat.show(tab.check(G.Gf8.rs())))
    IO.print(H.Gf128.hex(H.Gf128.mul_gcm(gcm_c(), gcm_h())))
    IO.print(H.Gf128.hex(H.Gf128.ghash(gcm_h(), [gcm_c(), H.Gf128.of_words(0, 0, 0, 128)])))
    IO.print(H.Gf128.hex(H.Gf128.double_be(H.Gf128.of_words(2113366796, 448305587, 1044574279, 3105576047))))
    IO.print(H.Gf128.hex(H.Gf128.double_le(H.Gf128.of_words(0, 0, 0, 255))))
    IO.print(show(M.Gfm.mul(M.Gfm.bch13(), 1234, 5678)))
    IO.print(show(M.Gfm.inv(M.Gfm.bch13(), 1234)))
    IO.print(show(M.Gfm.log(M.Gfm.bch13(), 1234)))
    IO.print(show(M.Gfm.exp(M.Gfm.bch14(), 16383)))

Uses (30):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.print
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.show
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-gf@0.1.1.0/check.bend&name=gcm_c
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-gf@0.1.1.0/check.bend&name=gcm_h
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-gf@0.1.1.0/check.bend&name=show
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-gf@0.1.1.0/check.bend&name=tab.check
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-gf@0.1.1.0/gf128.bend&name=Gf128.double_be
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-gf@0.1.1.0/gf128.bend&name=Gf128.double_le
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-gf@0.1.1.0/gf128.bend&name=Gf128.ghash
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-gf@0.1.1.0/gf128.bend&name=Gf128.hex
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-gf@0.1.1.0/gf128.bend&name=Gf128.mul_gcm
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-gf@0.1.1.0/gf128.bend&name=Gf128.of_words
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-gf@0.1.1.0/gf.bend&name=Gf8.aes
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-gf@0.1.1.0/gf.bend&name=Gf8.div
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-gf@0.1.1.0/gf.bend&name=Gf8.exp
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-gf@0.1.1.0/gf.bend&name=Gf8.inv
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-gf@0.1.1.0/gf.bend&name=Gf8.log
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-gf@0.1.1.0/gf.bend&name=Gf8.mul
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-gf@0.1.1.0/gf.bend&name=Gf8.rs
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-gf@0.1.1.0/gf.bend&name=Gf8.xtime
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-gf@0.1.1.0/gfm.bend&name=Gfm.bch13
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-gf@0.1.1.0/gfm.bend&name=Gfm.bch14
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-gf@0.1.1.0/gfm.bend&name=Gfm.exp
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-gf@0.1.1.0/gfm.bend&name=Gfm.inv
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-gf@0.1.1.0/gfm.bend&name=Gfm.log
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-gf@0.1.1.0/gfm.bend&name=Gfm.mul