Safe Haskell | None |
---|
Documentation
parse :: [(Token, FilePos)] -> State ParseState ParseOutputSource
initParseState :: (Signature n p r, SignatureType)Source
type ParseState = (StringSignature, SignatureType)Source
data RelProperty Source
data ParseOutput Source
PO | |
|
type RelInfo = (String, [RelProperty])Source
type ProverInfo = (String, [(String, String)])Source
type InferenceTask = (QueryType, Maybe String, [Formula NomSymbol PropSymbol RelSymbol])Source