succeedWith :: Processor p => ProofObject p -> CertificateFn p -> Forking p (Out p) -> TctM (Return p)
succeedWith pn cfn ts = return $ Progress pn cfn (Open <$> ts)
succeedWith :: Processor p => ProofObject p -> CertificateFn p -> Forking p (Out p) -> TctM (Return p)
succeedWith pn cfn ts = return $ Progress pn cfn (Open <$> ts)
succeedWith pn cfn ts = return $ Progress pn cfn (Open <$> ts)