hol-1.3: Higher order logic

LicenseMIT
MaintainerJoe Leslie-Hurd <joe@gilith.com>
Stabilityprovisional
Portabilityportable
Safe HaskellSafe
LanguageHaskell98

HOL.Util

Description

 

Documentation

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

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