either "AXIOMDEF", "PREDDEF" or"FUNDEF"
the (unique) name of the definition/axiom
the antecedent of the declaration sequent (not yet typechecked)
the succedent of the declaration sequent (not yet typechecked)
the antecedent of the declaration sequent (not yet typechecked)
the (unique) name of the definition/axiom
either "AXIOMDEF", "PREDDEF" or"FUNDEF"
the succedent of the declaration sequent (not yet typechecked)
An AToken represents an Axiom declaration or Definition declaration.
either "AXIOMDEF", "PREDDEF" or"FUNDEF"
the (unique) name of the definition/axiom
the antecedent of the declaration sequent (not yet typechecked)
the succedent of the declaration sequent (not yet typechecked)