Documentation

boolop_nary :: [(String, [SENTENCE] -> BOOL_SENT, String)]

boolop_binary :: [(String, SENTENCE -> SENTENCE -> BOOL_SENT, String)]

boolop_quant :: [(String, QUANT, String)]

parse_keys :: [(String, op_t, String)] -> CharParser st (Token, op_t, String)

logsent :: CharParser st SENTENCE

plainAtom :: CharParser st ATOM

atomsent :: CharParser st ATOM -> CharParser st SENTENCE

plainsent :: CharParser st SENTENCE

parensent :: CharParser st SENTENCE

funterm :: CharParser st TERM

relsent :: CharParser st SENTENCE

neqS :: String

eq_ops :: [(String, SENTENCE -> Range -> SENTENCE, String)]

eqsent :: CharParser st SENTENCE

term :: CharParser st TERM

sentence :: CharParser st SENTENCE

topLevelSentence :: CharParser st SENTENCE

basicSpec :: PrefixMap -> AParser st BASIC_SPEC