Cryptol.Parser.NoPat
class
RemovePatterns
t
data
Error