^

a%seq

accessible%from

br%partial%trans%closure

comb_kk

connected

gcd_ma

gcd_rho

iterate

list

monoid%prod

multiple

nn%quotient

omega%embedding

opseq%state

prod

prod_kk

run

sum

sum_kk