Documentation

thBasic :: (String -> AnyLogic) -> AParser st Spc_Wrap Source #

basicSpec :: Syntax lid basic_spec s si sim => lid -> Maybe (PrefixMap -> AParser st basic_spec) Source #

thSpec :: AnyLogic -> AParser st Spc_Wrap Source #

callParser :: Show a => a -> (a -> Maybe x) -> x Source #

itemParser :: AParser st TH_BASIC_ITEM Source #

annoFormParser :: Logic l sub bs f s sm si mo sy rw pf => l -> bs -> AParser st (Annoted Frm_Wrap) Source #

formParser :: Logic l sub bs f s sm si mo sy rw pf => l -> bs -> AParser st Frm_Wrap Source #

formParser' :: Spc_Wrap -> AParser st Frm_Wrap Source #

topParser :: Logic l sub bs f s sm si mo sy rw pf => l -> bs -> AParser st (TH_FORMULA f) Source #

conjP :: AParser st (TH_FORMULA f -> TH_FORMULA f -> TH_FORMULA f) Source #

disjP :: AParser st (TH_FORMULA f -> TH_FORMULA f -> TH_FORMULA f) Source #

impAndBiP :: AParser st (TH_FORMULA f -> TH_FORMULA f -> TH_FORMULA f) Source #

fParser :: Logic l sub bs f s sm si mo sy rw pf => l -> bs -> AParser st (TH_FORMULA f) Source #