hol-1.4: Higher order logic
Safe HaskellSafe-Inferred
LanguageHaskell2010

HOL.Util

Description

 

Documentation

mkUnsafe1 :: String -> (a -> Maybe b) -> a -> b Source #

mkUnsafe2 :: String -> (a -> b -> Maybe c) -> a -> b -> c Source #