Searched refs:_write_big (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/usr/eclipseclp/Kernel/src/
H A Dbigrat.c714 _write_big(int quoted, stream_id stream, value vbig, type tbig) function
907 int res = _write_big(quoted, stream, vrat.ptr[0].val, vrat.ptr[0].tag);
913 return _write_big(quoted, stream, vrat.ptr[1].val, vrat.ptr[1].tag);
2025 tag_desc[TBIG].write = _write_big;

Completed in 30 milliseconds