HyLo.InputFile.Parser

parse

initParseState

type ParseState

data QueryType

data RelProperty

data ParseOutput

type RelInfo

type ProverInfo

type InferenceTask