HOL.Util
Description
mkUnsafe :: String -> Maybe a -> a Source #
mkUnsafe1 :: String -> (a -> Maybe b) -> a -> b Source #
mkUnsafe2 :: String -> (a -> b -> Maybe c) -> a -> b -> c Source #