kaputt

Testing tool
IN THIS PACKAGE
Module Kaputt . Generator . Weak

Parameters

module W : Weak.S
module G : sig ... end

Signature

val gen : int t -> W.t t