HelpContents › FSharpLanguage › HelpOnProcessingInstructions › NotVeryRandomPages › FrameworkProgramming
".$options[timer]->Write()."