Documentation

discardIfAnyConstant ∷ MonadGen m ⇒ (Some (ValueOf uni) → Bool) → m (Program name uni fun ann) → m (Program name uni fun ann) Source #