We demonstrate an automated tool that checks if two OCaml modules implementing the same signature are behaviorally equivalent by generating property-based testing code that is tailored to the signature. We detail the automatically generated function and datatype definitions that are produced by our tool, and discuss areas for future work.