how to use xUnit and FsCheck with IoC and mocking in F#

Question

I want to write unit tests F# using property base testing technic. however I came across several obstacle.

1. Code I want to test is in C#
2. Domain objects co