Convert groboner module to F# (partial) and format using Fantomas. There is only one try fail in a chain of try fails that needs to be converted and is comented out. The code will compile.
Convert groboner module to F# (partial) and format using Fantomas.
There is only one try fail in a chain of try fails that needs to be converted and is comented out.
The code will compile.

Signed-off-by: Eric G Taucher <3582ef03349ad3c7bcbea5a93302c2508d01c2b8@gmail.com>

jack-pappas/NHol