cryptol-2.2.1: Cryptol: The Language of Cryptography
Cryptol.Utils.Panic
Description
panic :: String -> [String] -> a Source