haskhol-core-1.1.0: src/HaskHOL/Core/Basics.hs-boot

module HaskHOL.Core.Basics where
 
import HaskHOL.Core.Kernel

unsafeGenVar :: HOLType -> HOLTerm

stripComb :: HOLTerm -> (HOLTerm, [HOLTerm])