~/jendhub

def gf128.fst

bend-osdev-gf@0.1.1.0 · gf128.bend:136

import bend-osdev-gf@0.1.1.0/gf128.bend as Gf128
import Base

136def gf128.fst(p: Gf128 & Gf128) -> Gf128:
137  (a, b) = p
138  a

Uses (3)

Used by (1)