A porting of HolZero in fsharp