Documentation

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

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

thSpec :: AnyLogic -> AParser st Spc_Wrap

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

itemParser :: AParser st TH_BASIC_ITEM

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

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

formParser' :: Spc_Wrap -> AParser st Frm_Wrap

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

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

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

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

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