double function

double double(dynamic x$1)

Implementation

dc.double double(dc.dynamic x$1, ){
return ((x$1 as dc.num).toDouble());
}