BT in F#