public override Absy StdDispatch(StandardVisitor visitor) { //Contract.Requires(visitor != null); Contract.Ensures(Contract.Result<Absy>() != null); return visitor.VisitAxiom(this); }
public override Absy StdDispatch(StandardVisitor visitor) { //Contract.Requires(visitor != null); Contract.Ensures(Contract.Result<Absy>() != null); return visitor.VisitAxiom(this); }