package se.chalmers.cs.gf.dot.Absyn; // Java Package generated by the BNF Converter.

public class DoubleID extends ID implements java.io.Serializable
{
  public Double double_;

  public DoubleID(Double p1) { double_ = p1; }

  public <R,A> R accept(se.chalmers.cs.gf.dot.Absyn.ID.Visitor<R,A> v, A arg) { return v.visit(this, arg); }


}