public virtual object Visit(CogniPy.CNL.DL.Top e) { return(e); }
public object Visit(CogniPy.CNL.DL.Top e) { return("⊤"); }