double function

double double(
  1. dynamic x$1
)

Implementation

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