Cryptol.Utils.Patterns

data Match b

type Pat a b

(|||)

(&&&)

(~>)

(~~>)

(<~)

__

succeed

checkThat

lit

matchDefault

match

matchMaybe

list

(><)

class Matches thing pats res