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