Implemented some functions needed in fsharp-tools.