(* 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".

(* Specifications: *)
Axiom _W : nat -> Prop.
Axiom _Size : Prop.
Require Export Show.