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