(* Declare ML Module "Error". Declare ML Module "genericLib". Declare ML Module "coqLib". Declare ML Module "setLib". Declare ML Module "semLib". Declare ML Module "genLib". Declare ML Module "unify".  Declare ML Module "weightmap".  Declare ML Module "quickChick".  Declare ML Module "Sized". Declare ML Module "ArbitrarySized". Declare ML Module "SizeMon". Declare ML Module "SizeSMon". Declare ML Module "SizeCorr". Declare ML Module "ArbitrarySizedST". Declare ML Module "GenSizedSTMonotonic". Declare ML Module "GenSizedSTSizeMonotonic". Declare ML Module "SizedProofs". Declare ML Module "GenSTCorrect".  Declare ML Module "simplDriver". Declare ML Module "depDriver". Declare ML Module "driver". *)
Declare ML Module "quickchick_plugin".

Axiom _W : nat -> Prop.