haskhol-core-1.0.0: src/HaskHOL/Core/Parser.hs-boot

module HaskHOL.Core.Parser where

import HaskHOL.Core.State

import HaskHOL.Core.Parser.Lib

holTermParser :: String -> HOLContext thry -> Either ParseError PreTerm

holTypeParser :: String -> HOLContext thry -> Either ParseError PreType