class AttrDouble extends Attr<Double> {

  public static Builder builder() {
    return new Builder();
  }

  private  AttrDouble(
      Double value, List<? extends Constraint<? super Double>> constraint, String label);

}