Project

General

Profile

« Previous | Next » 

Revision a9b87a15

Added by Pierre-Loïc Garoche about 5 years ago

Extending types to machine types

View differences:

include/io_frontend.h
22 22 
/*@ assigns \nothing; */
23 23 
extern void _put_int(FILE* file, char* n, int _V);
24 24 

  		




  
  25
  
    
/*@ assigns \nothing; */


  		




  
  26
  
    
extern void _put_float(FILE* file, char* n, float _V);


  		




  
  27
  
    

  		




  25
  28
  
    
/*@ assigns \nothing; */


  		




  26
  29
  
    
extern void _put_double(FILE* file, char* n, double _V);


  		




  27
  30
  
    

  		












Also available in:  Unified diff