Cryptol.Prims.Syntax
data
TFun
tBinOpPrec
tfunNames