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