Home
last modified time | relevance | path

Searched refs:bigToUInt64 (Results 1 – 6 of 6) sorted by relevance

/dports/lang/seed7/seed7/src/
H A Dbig_drv.h127 uint64Type bigToUInt64 (const const_bigIntType big1);
H A Dbinlib.c104 return bld_binary_temp(bigToUInt64(take_bigint(arg_1(arguments)))); in bin_binary()
H A Dbig_gmp.c2265 uint64Type bigToUInt64 (const const_bigIntType big1) in bigToUInt64() function
H A Dbig_rtl.c7797 uint64Type bigToUInt64 (const const_bigIntType big1) function
/dports/lang/seed7/seed7/lib/comp/
H A Dbin_act.s7i126 c_expr.expr &:= "bigToUInt64(";
147 c_expr.expr &:= "bigToUInt64(";
H A Dbig_act.s7i167 declareExtern(c_prog, "uint64Type bigToUInt64 (const const_bigIntType);");