Home
last modified time | relevance | path

Searched defs:save_double (Results 1 – 3 of 3) sorted by relevance

/dports/databases/redisjson/RedisJSON-2.0.6/cargo-crates/redis-module-0.25.0/src/
H A Draw.rs535 pub fn save_double(rdb: *mut RedisModuleIO, val: f64) { in save_double() function
/dports/lang/yap/yap-6.2.2/packages/semweb/
H A Drdf_db.c2738 save_double(IOSTREAM *fd, double f) in save_double() function
/dports/lang/swi-pl/swipl-8.2.3/packages/semweb/
H A Drdf_db.c5291 save_double(IOSTREAM *fd, double f) in save_double() function