001    package toolbus.atom;
002    
003    import aterm.ATerm;
004    
005    public class Ref{
006            public ATerm value;
007            
008            public Ref(ATerm at){
009                    this.value = at;
010            }
011            
012            public String toString(){
013                    return "Ref(" + value + ")";
014            }
015    }