-- | Succeed with a single child.
succeedWith1 :: (Processor p, Forking p ~ F.Id) => ProofObject p -> CertificateFn p -> Out p -> TctM (Return p)
succeedWith1 pn cfn p = return $ Progress pn cfn (F.toId $ Open p)
succeedWith1 :: (Processor p, Forking p ~ F.Id) => ProofObject p -> CertificateFn p -> Out p -> TctM (Return p)
succeedWith1 pn cfn p = return $ Progress pn cfn (F.toId $ Open p)
succeedWith1 pn cfn p = return $ Progress pn cfn (F.toId $ Open p)