(* 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 _Size : Prop.
Require Export Show.