R/tcc_ptr_utils.R
tcc_write_f32.Rd
Write a 32-bit float
tcc_write_f32(ptr, offset, value)
External pointer
Byte offset
Integer value to write