Madagascar Programming Reference Manual

Definition

void sf_charread (/*@out@*/ char* arr, size_t size, sf_file file)
/*< read a char array arr[size] from file >*/
{
   ...
}