Cryptol.Prims.Syntax

data TFun

tBinOpPrec

tfunNames