Fsharp verificant