Name fprintint
Definition fprintint(f:val(tfile),n:val(int)) : expr(void)
Defined in io.l
Implementation icode
Description Print the given integer to the given file.