fact: Definition disjoin (l : list Checker) : Checker := bindGen (mapGen (liftM unProp) l) (fun rs => (returnGen (MkProp ( fold_right disjAux (returnRose failed) rs )))).
imports: String List RoseTrees Show State Producer Generators Classes DependentClasses