Searched defs:is_double (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/usr/eclipseclp/Kernel/src/
H A Declipse_cc.cc250 is_double(double * d) function in class:EC_word

Completed in 84 milliseconds