Arduino Uno to Mbed code conversion

Hello

I would like to know how do I convert the below Arduino Uno code to be used on Mbed Studio ?

const int RecordTime = 3 ; //Define Measuring Time (Seconds)
const int SensorPin = 3 ; //Define Interrupt Pin (2 or 3 @ Arduino Uno)

int InterruptCounter;
float WindSpeed;

voidsetup ( )
{
Serial.begin( 9600 );
}

void loop () {
measure();
Serial.print( “Wind Speed: " );
Serial. print(WindSpeed); //Speed ​​in km/h
Serial.print( " km/h - " );
Serial.print(WindSpeed ​​/ 3.6 ); //Speed ​​in m/s
Serial.println( " m/s” );
}

void measure () {
InterruptCounter = 0 ;
attachInterrupt(digitalPinToInterrupt(SensorPin), countup, RISING);
delay( 1000 * RecordTime);
detachInterrupt(digitalPinToInterrupt(SensorPin));
WindSpeed ​​= ( float )InterruptCounter / ( float )RecordTime * 2.4 ;
}

void countup () {
InterruptCounter ++ ;
}